大约有30项符合查询结果项。（搜索耗时：0.0041秒）
为您推荐：
分析基础机器证明系统
几何定理机器证明的案例
几何定理机器证明的基本原理
不等式机器证明与自动发现
方程求解与机器证明
证明责任论
-
吴志翔编著1982 年出版245 页ISBN：7086·1065
-
赵凤石，时承权编著1982 年出版179 页ISBN：13217·031
-
郭思乐著1982 年出版83 页ISBN：7182·43
-
-
（西德）E.劳施著；武汉钢铁设计研究院译1982 年出版1004 页ISBN：15062·3770
-
（美）阿尔贝勃（M.A. Arbib）著；朱喜豪，金观涛译1982 年出版131 页ISBN：2017·277
-
（英）卡洛（P.Calow）著；汪云九，陈德高译1982 年出版152 页ISBN：13031·1927
-
（日）南条优著；钟玲译1982 年出版179 页ISBN：13071·109
-
（美）A.GILL1982 年出版263 页ISBN：15235·55
-
（英）班克斯（R.A. Banks）选编；何明等译1982 年出版181 页ISBN：10031·1
