大约有900项符合查询结果项。（搜索耗时：0.0114秒）
为您推荐：
几何定理机器证明的基本原理
挑战思维极限 勾股定理的365种证明
证明的故事 从勾股定理到现代数学
几何最著名24个定理证明及应用
几何定理的机械化证明
分析基础机器证明系统
-
（苏）茹拉符耶夫，В.Н.著；凌治化译1963 年出版242 页ISBN：15165·2071（一机432）
-
（苏）罗维斯基，З.等著；徐世京译1963 年出版134 页ISBN：2002·175
-
维纳，N.著；郝季仁译1963 年出版199 页ISBN：13031·1727
-
抚顺石油学院炼厂机械教研室编1963 年出版260 页ISBN：K15165·1949（石油137）
-
奚会昆等编1963 年出版644 页ISBN：16100·469
-
轻工业部南京机电学校编1963 年出版567 页ISBN：K15042·1259
-
成都工学院编1963 年出版418 页ISBN：K15166·129
-
（苏）柯万，В.М.主编；吴天林等译1963 年出版863 页ISBN：15165·2182
-
（苏）柯塔依（А.К.Кутай）主编；卢达裘，杨蕃时译1963 年出版633 页ISBN：15119·1747
-
（苏）多勃罗霍托夫，М.И著；钱定华，陈立译1963 年出版307 页ISBN：15119·1721
