大约有500项符合查询结果项。（搜索耗时：0.0154秒）
为您推荐：
几何定理机器证明的基本原理
挑战思维极限 勾股定理的365种证明
证明的故事 从勾股定理到现代数学
几何最著名24个定理证明及应用
几何定理的机械化证明
分析基础机器证明系统
-
Н.П.拉叶夫斯基著1966 年出版0 页ISBN：
-
（苏）拉叶夫斯基著；陈楚康等译1966 年出版220 页ISBN：15031·238
-
陈家芳编著1966 年出版64 页ISBN：T15033·3933
-
（苏）Я.Л.盖龙尼穆斯著；陈兆雄译1966 年出版397 页ISBN：15033·4003
-
万哲先等著1966 年出版276 页ISBN：13031·2287
-
中国社会科学院经济研究所1966 年出版466 页ISBN：11018·545
-
中国社会科学院经济研究所1966 年出版906 页ISBN：11018·545
-
（法）J.阿达玛著；朱德祥译1966 年出版644 页ISBN：13119·706
-
上海市工商行政管理局，上海市第一机电工业局机器工业史料组编；中国科学院经济研究所，中央工商行政管理局资本主义经济改造研究室主编1966 年出版466 页ISBN：11018·545
-
浙江麻纺厂，职工业余创作组词，陈华泉曲；邓贻照词曲1966 年出版4 页ISBN：8026·2514
