大约有2,000项符合查询结果项。（搜索耗时：0.0146秒）
为您推荐：
几何定理机器证明的基本原理
挑战思维极限 勾股定理的365种证明
证明的故事 从勾股定理到现代数学
几何最著名24个定理证明及应用
几何定理的机械化证明
分析基础机器证明系统
-
中国数学会上海分会，中学数学研究委员会编1959 年出版99 页ISBN：7150·489
-
（苏）В.В.伏尔杜耶夫（В.В.Хурлуев）著；李祥译1959 年出版71 页ISBN：13031·989
-
（苏）沙比宁，А.著；梁民生等译1959 年出版120 页ISBN：15044·4274
-
（苏）列维特斯基，Г.С.编著；王德服等译1959 年出版276 页ISBN：15033·1813
-
（苏）岗什塔克（Б.ИГанштак.）著；李岚清译1959 年出版98 页ISBN：15033·1922
-
-
（苏）卡甘，Б.Г.等著；左润之等译1959 年出版392 页ISBN：15144·121
-
（苏）亚历山大罗夫（П.С.Александров）著；江嘉禾译1959 年出版112 页ISBN：13031·1020
-
（苏）布洛赫（З.Щ.Влох）著；吴文藻译1959 年出版512 页ISBN：
-
（苏）布洛赫（З.Щ.Влох）著；吴文藻译1959 年出版512 页ISBN：15143·1037
