大约有70,000项符合查询结果项。（搜索耗时：0.0385秒）
为您推荐：
几何定理机器证明的案例
几何定理的机械化证明
几何最著名24个定理证明及应用
交互式定理证明与程序开发
拉克洛瓦 韦达定理 证明方法
几何证明
-
刘长龄著2006 年出版322 页ISBN：988986133
-
湖北大学中文系，文艺理教研室编1985 年出版191 页ISBN：
-
杨振铎等执笔；云南省高等教育自学考试指导委员会办公室编1985 年出版194 页ISBN：7468·20
-
孔维民著2012 年出版520 页ISBN：7203075905
-
北京师联教育科学研究所编2006 年出版284 页ISBN：7801357345
-
以群主编1964 年出版292 页ISBN：10078·2139
-
（日）森村诚一著；丁国祯等译2003 年出版359 页ISBN：750142800X
本书为日本现代长篇推理小说。
-
（日）森村诚一著；徐京宁等译1998 年出版369 页ISBN：7805646872
-
（日）森村诚一著；丁国桢等译1998 年出版328 页ISBN：7805646856
-
（日）森村诚一著；徐宪成译1985 年出版402 页ISBN：10067·345
