大约有40项符合查询结果项。（搜索耗时：0.0057秒）
为您推荐：
几何定理机器证明的基本原理
几何定理机器证明的案例
分析基础机器证明系统
不等式机器证明与自动发现
方程求解与机器证明
证明论
-
陈祖芬著1986 年出版328 页ISBN：10378·122
-
（日）森村诚一著；刘宁译1986 年出版304 页ISBN：10355·689
-
李铁木编著1986 年出版345 页ISBN：15244·0048
-
敢峰著1986 年出版162 页ISBN：13271·011
-
李铁木编著1986 年出版452 页ISBN：15244·0025
-
（日）中英昌著；郑春瑞译1986 年出版193 页ISBN：15176·664
-
方子严，石予丰编1986 年出版494 页ISBN：7535200052
-
齐林祥，任省立主编1986 年出版559 页ISBN：7502502203
-
新世纪编辑小组主编1986 年出版144 页ISBN：
-
