大约有40项符合查询结果项。（搜索耗时：0.0053秒）
为您推荐：
分析基础机器证明系统
几何定理机器证明的案例
几何定理机器证明的基本原理
不等式机器证明与自动发现
方程求解与机器证明
证明责任论
-
张伟编著1995 年出版310 页ISBN：9787561029718
-
孙宗明著1995 年出版282 页ISBN：7311008131
-
丁石孙主编1995 年出版272 页ISBN：7301026218
-
王启民著1995 年出版527 页ISBN：7538121811
-
董德明主编1995 年出版500 页ISBN：7805837015
-
罗克华1995 年出版124 页ISBN：7228035097
共24册
-
龚振邦，汪勤悫等编著1995 年出版489 页ISBN：7505328263
-
周伯英编著1995 年出版101 页ISBN：711104715X
-
武玉桂，饶远著1995 年出版78 页ISBN：7540510986
-
叶路，别拓仑编著1995 年出版120 页ISBN：7110033139
暂缺《机器人上战场》简介
