大约有30项符合查询结果项。（搜索耗时：0.0049秒）
为您推荐：
分析基础机器证明系统
几何定理机器证明的案例
几何定理机器证明的基本原理
不等式机器证明与自动发现
方程求解与机器证明
证明责任论
-
（苏）特拉郝德曼原著；陈非编译1958 年出版40 页ISBN：
-
（苏）菲齐索夫（А.И.Хетисов）著；力人译1958 年出版63 页ISBN：13009·160
-
李世繁著1958 年出版59 页ISBN：2074·81
-
机器制造百科全书编辑委员会编1958 年出版736 页ISBN：15033·1186
-
中国科学院上海经济研究所，上海社会科学院经济研究所编1958 年出版124 页ISBN：
-
袁雪枚编著1958 年出版61 页ISBN：15119·1016
-
机械工业出版社编1958 年出版60 页ISBN：T15033·1230
-
（法国）儒勒·凡尔纳著；联星译1958 年出版416 页ISBN：
-
（法）凡尔纳（J.Verne）著；联星译1958 年出版431 页ISBN：10009·315
-
