检索到 6 条 题名=数学机械化 的结果
-
中文图书1.吴文俊全集,数学机械化卷.Ⅲ,Mathematics mechanization.Ⅲ,数学机械化 O1-53/W851/2:3
馆藏复本：2
可借复本：2 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书2.公理化集合论机器证明系统 O144/Y862
馆藏复本：2
可借复本：2 郁文生, 孙天宇, 付尧顺著
科学出版社 2020
(0) 馆藏 -
中文图书3.吴文俊全集,数学机械化卷.II,Mathematics mechanization.II O1-53/W851/2:2
馆藏复本：1
可借复本：1 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书4.吴文俊全集,数学机械化卷.Ⅳ,Mathematics mechanization.Ⅳ,几何定理机器证明的基本原理 O1-53/W851/2:4
馆藏复本：1
可借复本：1 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书5.数学机械化 O1/W851
馆藏复本：8
可借复本：8 吴文俊著
科学出版社 2002.12
(1) 馆藏 -
中文图书6.多项式系统的实根分离算法及其应用 O174.14/L997
馆藏复本：3
可借复本：3 陆征一，何碧，罗勇著
科学出版社 2004.5
(0) 馆藏
