大约有900项符合查询结果项。（搜索耗时：0.0103秒）
为您推荐：
几何定理机器证明的案例
挑战思维极限 勾股定理的365种证明
证明的故事 从勾股定理到现代数学
几何最著名24个定理证明及应用
几何定理的机械化证明
分析基础机器证明系统
-
（德）赫尔福尔特，L.（德）温特尔，H.著；同济大学超声的基本原理与应用译校工作组译1961 年出版244 页ISBN：15119·1625
-
（苏）塔乌松，В.О.著；周礼恺译1961 年出版506 页ISBN：13031·1453
-
（苏）古开依罗，М.Я.著；孟庆林译1961 年出版128 页ISBN：15034·483
-
北京农业大学编1961 年出版152 页ISBN：K16144·1186
-
天津大学等校合编1961 年出版232 页ISBN：15165·380
-
-
（德）钟佩，K.著；范垂德译1961 年出版156 页ISBN：15042·1144
-
（苏）盖依列尔，Л.В.，（苏）哈立沙明诺夫，И.В.著；清华大学压力加工教研室等译1961 年出版148 页ISBN：15165·790
-
天津大学等院校合编1961 年出版330 页ISBN：K15165·490（化工34）
-
（苏）鲁新诺夫，Х.М.，（苏）波波夫，Л.Г.著；中国农业科学院农业机械化研究所译1961 年出版77 页ISBN：15144·187
