大约有30项符合查询结果项。（搜索耗时：0.0046秒）
为您推荐：
几何定理机器证明的基本原理
几何定理机器证明的案例
分析基础机器证明系统
不等式机器证明与自动发现
方程求解与机器证明
证明论
-
赵华，季家修编著1956 年出版108 页ISBN：7100·317
-
机器制造百科全书编辑委员会编1956 年出版440 页ISBN：
-
机器制造百科全书编辑委员会编1956 年出版398 页ISBN：15033·1018
-
机器制造百科全书编辑委员会编1956 年出版694 页ISBN：15033·365
-
机器制造百科全书编辑委员会编1956 年出版502 页ISBN：15033·1119
-
-
机器制造百科全书编辑委员会编1956 年出版523 页ISBN：15033·1185
-
-
夏建新，奚绍申编1956 年出版567 页ISBN：
-
夏建新，奚绍申编1956 年出版279 页ISBN：15119·228
