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