大约有5,144项符合查询结果项。（搜索耗时：0.0933秒）
为您推荐：
几何定理机器证明的基本原理
几何定理机器证明的案例
几何定理的机械化证明
几何三角法证明
三角法证明几何
几何最著名24个定理证明及应用
-
杜少岚，廖远明主编1987 年出版53 页ISBN：7536401507
-
潘日新，潘伟贤编著2012 年出版174 页ISBN：7040357004
-
贺志平，任耀亭主编；中南工业大学机械制图教研室编1991 年出版381 页ISBN：7040030764
-
马广东，于海洋主编2008 年出版140 页ISBN：9787811313482
本书根据国家教委制定的“高等学校画法几何及其教学基本要求”的有关规定，参考多年来的习题集，并吸收外校一些较好的题例编写而成。
-
冯开平，左宗义主编2001 年出版364 页ISBN：7562317461
-
马利庄，王荣良著1996 年出版189 页ISBN：703004830X
-
I.R.SHAFAREVICH1998 年出版269 页ISBN：7506236206
-
阳光测试系列编写组编2006 年出版61 页ISBN：
-
杜少岚，廖远明主编1988 年出版183 页ISBN：7536404913
-
谭光宙等编写1985 年出版108 页ISBN：7243·213
