检索到 5 条 分类号=O1 主题=机器证明 的结果
-
中文图书1.机器证明的逻辑推定 O141/28
馆藏复本：1
可借复本：1 李娜著
科学出版社 2023
(0) 馆藏 -
中文图书2.吴文俊全集,数学机械化卷.Ⅲ,Mathematics mechanization.Ⅲ:数学机械化 O1-53/14
馆藏复本：1
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书3.不等式机器证明与自动发现 O178-39/1
馆藏复本：0
可借复本：0 杨路，夏壁灿著
科学出版社 2008
(0) 馆藏 -
中文图书4.几何定理机器证明的基本原理,初等几何部分 O18-39/1
馆藏复本：0
可借复本：0 吴文俊著
科学出版社 1984
(0) 馆藏 -
中文图书5.几何定理机器证明的基本原理.初等几何部分 O18-39/1
馆藏复本：2
可借复本：2 吴文俊著
科学出版社 1984.08
(0) 馆藏
