大约有3,518项符合查询结果项。（搜索耗时：0.0507秒）
为您推荐：
几何定理机器证明的基本原理
几何定理机器证明的案例
分析基础机器证明系统
不等式机器证明与自动发现
方程求解与机器证明
证明论
-
J. M. 霍兰著1985 年出版264 页ISBN：
-
刘德泉编著1999 年出版269 页ISBN：7504117471
-
（苏）伏尔皮扬斯基（Л.М.Волпянский）著；张明江译1957 年出版61 页ISBN：T15033·469
-
南京农业机械化学校主编1991 年出版204 页ISBN：7109019810
-
吴启平编译1989 年出版181 页ISBN：7810090496
-
许运秀，王复德编1984 年出版39 页ISBN：15044·6469
-
（英）约翰·基帕克思原著；立正改编；赵鸣绘画1981 年出版62 页ISBN：81062194
-
（法）拉·梅特里著2009 年出版77 页ISBN：9787100062213
本书作者从人体系统的精巧设计与精确运行的角度出发，将人比作机器。
-
艾西莫夫著；叶李华译2006 年出版223 页ISBN：9867001036
-
刘洪军2010 年出版216 页ISBN：7206061967
