当前位置:首页 > 名称
大约有9,000项符合查询结果项。(搜索耗时:0.0377秒)
为您推荐: 桩基工程质量的诊断技术 方法 原理及应用实例 工业废水处理工程设计实例 电镀故障分析与处理问答 污水处理工程施工技术 水工建筑物混凝土及钢筋混凝土工程施工技术暂行规范 化学热处理技术及应用实例
-
-
-
-
-
-
-
扩展的三段论及自动推理 【哲学宗教】
张寅生著2009 年出版295 页ISBN:9787502363185本专著详细论述了作者在亚里士多德三段论形式化研究和自动推理研究上取得的重大进展和创新性成果。
-
-
-
