当前位置:首页 > 名称
大约有5,000项符合查询结果项。(搜索耗时:0.0200秒)
为您推荐: 制造执行系统技术及应用 快速成型与快速模具制造技术及其应用 多智能体技术 在协同设计与制造中的应用 锂离子电池制造工艺原理与应用 智能制造关键技术与工业应用丛书 热熔压敏胶及其流变学
-
-
-
-
-
-
-
-
扩展的三段论及自动推理 【哲学宗教】
张寅生著2009 年出版295 页ISBN:9787502363185本专著详细论述了作者在亚里士多德三段论形式化研究和自动推理研究上取得的重大进展和创新性成果。
-
-
