检索到 11 条 丛书名=数学机械化丛书 的结果
-
中文图书1.分析基础机器证明系统 O171/402
馆藏复本：4
可借复本：4 郁文生, 付尧顺, 郭礼权著
科学出版社 2022
(0) 馆藏 -
中文图书2.公理化集合论机器证明系统 O144-39/402
馆藏复本：2
可借复本：2 郁文生, 孙天宇, 付尧顺著
科学出版社 2020
(0) 馆藏 -
中文图书3.几何定理机器证明的几何不变量方法 O18/165
馆藏复本：1
可借复本：1 张景中, 高小山, 周咸青著
科学出版社 2015
(0) 馆藏 -
中文图书4.不等式机器证明与自动发现 O178-39/460
馆藏复本：4
可借复本：3 杨路，夏壁灿著
科学出版社 2008
(0) 馆藏 -
中文图书5.复杂非线性波的构造性理论及其应用 O534/351
馆藏复本：5
可借复本：0 闫振亚著
科学出版社 2007
(0) 馆藏 -
中文图书6.进程代数:对称与动作细化 TP301.6/133
馆藏复本：5
可借复本：0 王永祥，吴尽昭，蒋建民著
科学出版社 2007
(0) 馆藏 -
中文图书7.交互式马尔可夫链:并发系统的设计、验证与评价 O211.6/676
馆藏复本：5
可借复本：4 吴尽昭, 王永祥, 覃广平著
科学出版社 2007
(0) 馆藏 -
中文图书8.实域论 O156.2/809
馆藏复本：11
可借复本：0 曾广兴著
科学出版社 2003.12
(0) 馆藏 -
中文图书9.方程求解与机器证明:基于MMP的问题求解 O122.2/092
馆藏复本：6
可借复本：0 高小山[等]著
科学出版社 2006.9
(1) 馆藏 -
中文图书10.近世计算理论导引:NP难度问题的背景、前景及其求解算法研究 TP301.6/404
馆藏复本：12
可借复本：0 黄文奇，许如初著
科学出版社 2004.6
(0) 馆藏 -
中文图书11.多项式系统的实根分离算法及其应用 O174.14/721
馆藏复本：6
可借复本：0 陆征一, 何碧, 罗勇著
科学出版社 2004.5
(0) 馆藏
