大约有2,000项符合查询结果项。（搜索耗时：0.0095秒）
为您推荐：
几何定理机器证明的基本原理
挑战思维极限 勾股定理的365种证明
证明的故事 从勾股定理到现代数学
几何最著名24个定理证明及应用
几何定理的机械化证明
分析基础机器证明系统
-
刘樾身编1957 年出版26 页ISBN：15051·33
-
（苏）穆柔林（И.В.Мазырин）著；袁平译1957 年出版206 页ISBN：
-
（苏）别列诺夫（Д.И.Бенов）著；唐照千译1957 年出版127 页ISBN：15033·705
-
（苏）华西里耶夫（М.Васильев）著；石含英译1957 年出版20 页ISBN：16015·8
-
道良慧编著1957 年出版101 页ISBN：15033·596
-
张贤模等编著1957 年出版221 页ISBN：15090·34
-
（苏）格奥尔吉耶夫斯基（И.С.Георгиевский）著；毛天铎译1957 年出版36 页ISBN：15005.36
-
苏联中央建筑情报研究所编；中华人民共和国建筑工程部建筑工程组织及机械化研究所译1957 年出版17 页ISBN：15040·639
-
（苏）萨维诺夫（О.А.Савинов）著；中华人民共和国建筑工程部华东工业建筑设计院译1957 年出版296 页ISBN：15062·660
-
苏联科学院机器制造研究所机器制造工艺委员会编1957 年出版178 页ISBN：15033·622
