大约有20,000项符合查询结果项。（搜索耗时：0.0623秒）
为您推荐：
几何定理机器证明的基本原理
几何定理的机械化证明
几何定理机器证明的案例
101个世界最著名的未解之谜
交互式定理证明与程序开发
拉克洛瓦 韦达定理 证明方法
-
常学谦主编；大连海事大学制图教研室编1995 年出版317 页ISBN：7114020031
-
许锡祺主编1996 年出版325 页ISBN：7304012307
-
许锡祺主编1996 年出版239 页ISBN：7304012285
-
北方交通大学，巩永龄，西南交通大学，魏福平主编1990 年出版188 页ISBN：7113007112
-
苏宏庆主编1991 年出版330 页ISBN：7810162950
-
欧义同，吴维翰主编；国防科技大学801教研室编1994 年出版268 页ISBN：7810243098
-
骆继如等编1989 年出版226 页ISBN：7214002760
-
骆继如等编1989 年出版298 页ISBN：7214002752
-
王永智，林启迪主编2003 年出版355 页ISBN：7111130642
本书包括：点、直线、平面的投影等知识。
-
聂圣世主编1993 年出版175 页ISBN：7304007656
