大约有800项符合查询结果项。（搜索耗时：0.0105秒）
为您推荐：
几何定理机器证明的基本原理
挑战思维极限 勾股定理的365种证明
证明的故事 从勾股定理到现代数学
几何最著名24个定理证明及应用
几何定理的机械化证明
分析基础机器证明系统
-
且大有著1962 年出版42 页ISBN：T2086·57
-
德意志民主共和国蔡司厂编著；曹迪南译1962 年出版136 页ISBN：15165·397
-
（苏）密拉密德，М.Н.著；农业机械部农业机械研究院译1962 年出版73 页ISBN：15165·1769（农机32）
-
维纳，N.著；郝季仁译1962 年出版165 页ISBN：
-
吴文俊编1962 年出版26 页ISBN：13009·203
-
N.维纳著；郝季仁译1962 年出版199 页ISBN：13031·2823
-
Л.Б.列文逊等合著；王永嘉，权循森合译1962 年出版190 页ISBN：15165·1307（冶金228）
-
（美）德莱塞，T.原著；（苏）克列涅斯，C.A.改写 北京外国语学院英语系课外阅读教材小组选注1962 年出版110 页ISBN：9017·364
-
财经中专数学教材编写组编1962 年出版87 页ISBN：K13010·1079
-
（苏）卡斯齐娜，З.Н.著；管承仲译1962 年出版148 页ISBN：7150·1375
