退出
我的积分:
中文文献批量获取
外文文献批量获取
何宇;
四川大学艺术学院 成都 610207;
现代主义设计; 逻辑演绎观念; "数";
机译:验证逻辑中的发现:在假设演绎演绎中故意出现,补充和替代归纳推理
机译:通过时态逻辑中的计算机演绎形式对嵌入式逻辑控制器规范进行形式验证
机译:使用Groebner基的多值逻辑中的逻辑成因和自动演绎
机译:“老鼠”和“米老鼠”体现的东西方创新观念差异
机译:关于演绎主义:对非正式逻辑中演绎主义的批判性考察。
机译:逻辑规则和整体维数的分类:任意维数处理中的个体差异
机译:认同与西方观念:巴西和印度的案例认同与西方观念:巴西和印度的案例
机译:演绎数据库和逻辑编程:演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行
机译:在扩展的关系数据库概念中对逻辑进行有效的演绎目录以概括约束的有效过程
机译:一种促进数学和几何学教学的设备,可用于逻辑推理和演绎中的教与学
机译:面向对象的逻辑程序和演绎数据库中的类型格查询优化
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。