当前位置:首页 > 名称
大约有10,000项符合查询结果项。(搜索耗时:0.0282秒)
为您推荐: 氧化锌压敏陶瓷制造及应用 快速成型与快速模具制造技术及其应用 多智能体技术 在协同设计与制造中的应用 直流输电控制保护系统分析及应用 孤立子系统的可积形变及应用 传感器技术及应用
-
-
-
-
-
-
-
-
-
扩展的三段论及自动推理 【哲学宗教】
张寅生著2009 年出版295 页ISBN:9787502363185本专著详细论述了作者在亚里士多德三段论形式化研究和自动推理研究上取得的重大进展和创新性成果。
-
学科分类
