大约有30项符合查询结果项。（搜索耗时：0.0053秒）
为您推荐：
分析基础机器证明系统
几何定理机器证明的案例
几何定理机器证明的基本原理
不等式机器证明与自动发现
方程求解与机器证明
证明责任论
-
（日）森村诚一著；陈笃忱译1981 年出版398 页ISBN：8061·1556
-
（日）森村诚一著；何培忠，孟传良等译1981 年出版398 页ISBN：10067·232
-
（日本）森村诚一著；朱金和，孙猛译1981 年出版384 页ISBN：10100·467
-
朱长山编1981 年出版177 页ISBN：7089·186
-
（日）中束正立著；布公译1981 年出版126 页ISBN：13091·65
-
朱尧辰著1981 年出版124 页ISBN：7214·11
-
大连市教育学院编1981 年出版296 页ISBN：
-
高松海编1981 年出版254 页ISBN：15175·296
-
-
（德）劳施（Rausch，E.）著；武汉钢铁设计研究院译1981 年出版557 页ISBN：15062·3764
