当前位置:首页 > 名称
大约有6,000项符合查询结果项。(搜索耗时:0.0295秒)
为您推荐: 河流数值模拟 焊接过程的数值模拟 桩基工程质量的诊断技术 方法 原理及应用实例 连铸过程数值模拟研究 颗粒流数值模拟 应用数值分析
-
-
-
-
-
-
-
-
扩展的三段论及自动推理 【哲学宗教】
张寅生著2009 年出版295 页ISBN:9787502363185本专著详细论述了作者在亚里士多德三段论形式化研究和自动推理研究上取得的重大进展和创新性成果。
-
-
学科分类
