检索到 8 条 丛书名=数学机械化丛书 的结果
-
中文图书1.公理化集合论机器证明系统 O144/28
馆藏复本：2
可借复本：1 郁文生, 孙天宇, 付尧顺著
科学出版社 2020
(0) 馆藏 -
中文图书2.几何定理机器证明的几何不变量方法 O18-39/1
馆藏复本：2
可借复本：1 张景中, 高小山, 周咸青著
科学出版社 2015
(0) 馆藏 -
中文图书3.消去法及其应用 O241.6/22
馆藏复本：20
可借复本：20 王东明著
科学出版社 2002
(0) 馆藏 -
中文图书4.方程求解与机器证明:基于MMP的问题求解 O122.2/4
馆藏复本：6
可借复本：6 高小山，王定康，裘宗燕著
科学出版社 2006
(0) 馆藏 -
中文图书5.近世计算理论导引:NP难度问题的背景、前景及其求解算法研究 TP301.5/3
馆藏复本：6
可借复本：6 黄文奇，许如初著
科学出版社 2004
(0) 馆藏 -
中文图书6.多项式系统的实根分离算法及其应用 O174.14/3
馆藏复本：6
可借复本：6 陆征一等著
科学出版社 2004
(0) 馆藏 -
中文图书7.实域论 O156.2/4
馆藏复本：6
可借复本：6 曾广兴著
科学出版社 2003
(0) 馆藏 -
中文图书8.数学机械化 O1-0/31
馆藏复本：10
可借复本：10 吴文俊著
科学出版社 2003
(0) 馆藏
