检索到 5 条 主题词=机器证明 的结果
-
中文图书1.不等式机器证明与自动发现 O178-39/Y20#1
馆藏复本：2
可借复本：2 杨路，夏壁灿著
科学出版社 2008
(0) 馆藏 -
中文图书2.计算机怎样解几何题:谈谈自动推理 TP181-49/Z17
馆藏复本：1
可借复本：1 张景中著
暨南大学出版社 2000
(0) 馆藏 -
中文图书3.数学机械化 O1-0/W95
馆藏复本：3
可借复本：3 吴文俊著
科学出版社 2003
(0) 馆藏 -
中文图书4.几何定理机器证明的基本原理.初等几何部分 O18-39/W95
馆藏复本：3
可借复本：3 吴文俊著
科学出版社 1984
(0) 馆藏 -
中文图书5.不等式机器证明与自动发现 O178-39/Y20
馆藏复本：3
可借复本：3 杨路，夏壁灿著
科学出版社 2008
(0) 馆藏
