大约有7项符合查询结果项。（搜索耗时：0.0046秒）
为您推荐：
分析基础机器证明系统
几何定理机器证明的案例
几何定理机器证明的基本原理
不等式机器证明与自动发现
方程求解与机器证明
证明责任论
-
-
伊林，谢加尔著；符其珣译1951 年出版39 页ISBN：
-
天津进步日报社编1951 年出版38 页ISBN：
-
鲍恰罗夫著1951 年出版188 页ISBN：15033·371
-
（苏联）B.C.斯维尔谢夫斯基著；机农丛书编译委员会译1951 年出版296 页ISBN：
-
HENRY D.BURGHARDT原著1951 年出版595 页ISBN：
-
中央人民政府重工业部编译1951 年出版200 页ISBN：
