大约有40项符合查询结果项。（搜索耗时：0.0050秒）
为您推荐：
分析基础机器证明系统
几何定理机器证明的案例
几何定理机器证明的基本原理
不等式机器证明与自动发现
方程求解与机器证明
证明责任论
-
常青著1990 年出版211 页ISBN：7800401499
-
萧文强著1990 年出版195 页ISBN：7534310970
-
徐会方等编著1990 年出版288 页ISBN：7534708087
-
（日）笹部贞市郎编；高隆昌，王世璠，田景黄，罗朝杰译1990 年出版1087 页ISBN：754080038X
-
宋金墀著1990 年出版240 页ISBN：7204003381
-
郭俊义主编1990 年出版152 页ISBN：7533406079
-
孟继森编著1990 年出版71 页ISBN：7530807579
暂缺《奶牛机器挤奶技术》简介
-
（美）伯林盖姆（Burlingame，R.）著；（美）迈尔斯（Myers，A.）改写 刘 岩注释1990 年出版181 页ISBN：7107105981
-
李自茂编译1990 年出版265 页ISBN：7536413297
-
东北农学院主编1990 年出版378 页ISBN：7109015726
