大约有33,360项符合查询结果项。（搜索耗时：0.1251秒）
为您推荐：
拉克洛瓦 韦达定理 证明方法
交互式定理证明与程序开发
几何最著名24个定理证明及应用
几何定理机器证明的基本原理
几何定理的机械化证明
几何定理机器证明的案例
-
（法）布拉克（Braque，G.）绘1987 年出版29 页ISBN：8027·10137
-
（埃及）安瓦尔·穆罕默德著；王贵发译1994 年出版210 页ISBN：7801012089
-
（法）弗朗兹—奥利维埃·吉埃斯贝尔（Franz—Olivier Giesbert）著；曹松豪译1995 年出版545 页ISBN：7501206643
-
程枢荣译；中国友谊出版公司编1984 年出版170 页ISBN：7505704222
-
（伊拉克）贾希姆·穆罕默德·海拉夫等著；兰亭等编译1982 年出版164 页ISBN：12071·22
-
徐文廷著2010 年出版255 页ISBN：9866293016
-
刘月琴编著2010 年出版509 页ISBN：7509719022
-
严锴著2003 年出版406 页ISBN：7538716297
相同ISBN的还有时代文艺出版社出版的《二十世纪军政巨人百传》。
-
-
（伊拉克）哈立德·迦底尔著；纳忠译1962 年出版26 页ISBN：8027·3731
