大约有40项符合查询结果项。（搜索耗时：0.0145秒）
为您推荐：
分析基础机器证明系统
几何定理机器证明的案例
几何定理机器证明的基本原理
不等式机器证明与自动发现
方程求解与机器证明
证明责任论
-
朱国江等编著1991 年出版549 页ISBN：7502906754
-
马香峰主编1991 年出版274 页ISBN：711102690X
-
吴永健编著1991 年出版145 页ISBN：7800343146
-
李承先主编1991 年出版233 页ISBN：7561202903
-
赵尉杰，吉佳玲责任编辑1991 年出版205 页ISBN：7110018768
-
南京农业机械化学校主编1991 年出版204 页ISBN：7109019810
-
化学工业部化肥司，中国磷肥工业协会编写组编1991 年出版178 页ISBN：7561608160
-
王淦昌主编；陆玉昌，杜继宏，冯元琨，王振宇著1991 年出版354 页ISBN：7540813318
-
邹安丽，张怀安主编1991 年出版346 页ISBN：7502508767
化工技工学校试用教材:本书介绍了化工计算常用单位的换算
-
邝朴生等编著1991 年出版493 页ISBN：710901889X
