大约有30项符合查询结果项。（搜索耗时：0.0061秒）
为您推荐：
分析基础机器证明系统
几何定理机器证明的案例
几何定理机器证明的基本原理
不等式机器证明与自动发现
方程求解与机器证明
证明责任论
-
陆钟万著1983 年出版186 页ISBN：7030019199
-
刘千章，陈伟候编著1983 年出版148 页ISBN：7105·371
-
赵振威著1983 年出版530 页ISBN：7100·215
-
（苏）А.И.费齐索夫著；姬振豫译1983 年出版59 页ISBN：7072·1321
-
王传荣，张云晓编1983 年出版239 页ISBN：13212·52
-
（日）屉部贞市郎编；孙涤寰译1983 年出版348 页ISBN：13091·153
-
黑龙江八一农垦大学著1983 年出版217 页ISBN：15144·643
-
伯章编著1983 年出版92 页ISBN：R13024·165
-
凡尔纳原著；张晓峰改编；李木林，李树基，郭常信绘画1983 年出版254 页ISBN：8217012
-
冯天瑾编著1983 年出版183 页ISBN：15031·520
