检索到 2 条 丛书名=数学机械化丛书 的结果
-
中文图书1.自然数的紧化延伸机器证明系统 TP181/527
馆藏复本：1
可借复本：1 郁文生, 窦国威著
科学出版社 2024
(0) 馆藏 -
中文图书2.几何定理机器证明的几何不变量方法 O18-39/1
馆藏复本：2
可借复本：2 张景中, 高小山, 周咸青著
科学出版社 2015
(0) 馆藏
