大约有5,144项符合查询结果项。（搜索耗时：0.0646秒）
为您推荐：
几何定理机器证明的基本原理
几何定理机器证明的案例
几何定理的机械化证明
几何三角法证明
三角法证明几何
几何最著名24个定理证明及应用
-
A.и.奥斯特洛夫斯基原著；李汶 朱育万 黄锦铭译1954 年出版214 页ISBN：
-
夏明德编1987 年出版195 页ISBN：13119·1346
-
刘潭玉等编2000 年出版161 页ISBN：7810532545
-
蒋鲲编著2007 年出版151 页ISBN：7560324797
本书的内容主要是关于智能计算机辅助设计中的核心问题。可作为智能计算机辅助设计方面的研究人员和工程技术人员的参考书。
-
裘光明编1960 年出版269 页ISBN：13010·725
-
（苏）亚历山大罗夫（И.И.Александров）撰；丁寿田译1954 年出版198 页ISBN：
-
乐嗣康著1979 年出版176 页ISBN：7103·1064
-
高淑馨等编1991 年出版225 页ISBN：7800023893
-
张慧，范波涛主编1998 年出版49 页ISBN：7111063899
-
吴克欣，陆圣平编著2006 年出版47 页ISBN：7531816407
本书为美术基础强化训练正规教材。
