检索到 3 条 主题词=定理证明 主题=机器证明 馆藏地=未央馆 的结果
-
中文图书1.吴文俊全集,数学机械化卷.Ⅳ,Mathematics mechanization.IV:几何定理机器证明的基本原理 O1-53/7-4
馆藏复本：2
可借复本：1 吴文俊著
科学出版社 2019
(0) 馆藏 -
中文图书2.论初等几何定理的机器证明与消去法 O123/20
馆藏复本：3
可借复本：2 朱望规著
国防工业出版社 2016
(0) 馆藏 -
中文图书3.几何定理机器证明的几何不变量方法 O18-39/1
馆藏复本：2
可借复本：1 张景中, 高小山, 周咸青著
科学出版社 2015
(0) 馆藏
