大约有6,000项符合查询结果项。（搜索耗时：0.0122秒）
为您推荐：
几何定理机器证明的基本原理
挑战思维极限 勾股定理的365种证明
证明的故事 从勾股定理到现代数学
几何最著名24个定理证明及应用
几何定理的机械化证明
分析基础机器证明系统
-
（日）笹部贞市郎编；高隆昌，王世璠，田景黄，罗朝杰译1990 年出版1087 页ISBN：754080038X
-
宋金墀著1990 年出版240 页ISBN：7204003381
-
常青著1990 年出版211 页ISBN：7800401499
-
徐会方等编著1990 年出版288 页ISBN：7534708087
-
萧文强著1990 年出版195 页ISBN：7534310970
-
（美）特雷西·基德尔著；龚益，高宏志译1990 年出版318 页ISBN：7111019636
-
朱艳华等编著1990 年出版358 页ISBN：7531507579
-
（英）基德尔（Kidder，J.T.）著；仇万煜，左兰芬译1990 年出版225 页ISBN：7532320561
书名原文:Thesoulofanewmachine:本书主要叙述数据通用公司研制32位超级小型计算机的过程
-
傅佑珊，古永喜编著1990 年出版136 页ISBN：7503400838
-
潘思嶂等编1990 年出版377 页ISBN：7805781540
