检索到 13 条 丛书名=数学机械化丛书 的结果
-
中文图书1.不等式机器证明与自动发现 O178-39/Y20#1
馆藏复本：2
可借复本：2 杨路，夏壁灿著
科学出版社 2008
(0) 馆藏 -
中文图书2.实域论 O1-51/Z04
馆藏复本：5
可借复本：5 曾广兴著
科学出版社 2003
(0) 馆藏 -
中文图书3.近世计算理论导引:NP难度问题的背景、前景及其求解算法研究 TP301.6/H93
馆藏复本：5
可借复本：1 黄文奇，许如初著
科学出版社 2004
(0) 馆藏 -
中文图书4.多项式系统的实根分离算法及其应用 O174.14/L89
馆藏复本：2
可借复本：2 陆征一等著
科学出版社 2004
(0) 馆藏 -
中文图书5.实域论 O1-51/Z04#1
馆藏复本：1
可借复本：1 曾广兴著
科学出版社 2003
(0) 馆藏 -
中文图书6.交互式马尔可夫链:并发系统的设计、验证与评价 O211.62/W77
馆藏复本：3
可借复本：3 吴尽昭，王永祥，覃广平著
科学出版社 2007
(0) 馆藏 -
中文图书7.数学机械化 O1-0/W95
馆藏复本：3
可借复本：3 吴文俊著
科学出版社 2003
(0) 馆藏 -
中文图书8.近世计算理论导引:NP难度问题的背景、前景及其求解算法研究 TP301.6/H93#1
馆藏复本：3
可借复本：0 黄文奇，许如初著
科学出版社 2004
(0) 馆藏 -
中文图书9.实域论 O1-51/Z04#2
馆藏复本：2
可借复本：2 曾广兴著
科学出版社 2003
(0) 馆藏 -
中文图书10.不等式机器证明与自动发现 O178-39/Y20
馆藏复本：3
可借复本：3 杨路，夏壁灿著
科学出版社 2008
(0) 馆藏 -
中文图书11.方程求解与机器证明:基于MMP的问题求解 O122.2/G26
馆藏复本：5
可借复本：3 高小山[等]著
科学出版社 2006
(0) 馆藏 -
中文图书12.复杂非线性波的构造性理论及其应用 O534/Y11
馆藏复本：3
可借复本：3 闫振亚著
科学出版社 2007
(0) 馆藏 -
中文图书13.进程代数:对称与动作细化 TP301.6/W47
馆藏复本：3
可借复本：3 王永祥，吴尽昭，蒋建民著
科学出版社 2007
(0) 馆藏
