-
中文图书1.数理逻辑引论 B813/1038
馆藏复本:9
可借复本:7 王宪钧著
北京大学出版社 1982
(0) 馆藏 -
中文图书2.数学建模实验 O22/7748
馆藏复本:7
可借复本:6 周义仓, 赫孝良编
西安交通大学出版社 1999
(0) 馆藏 -
中文图书3.数学建模的理论与实践 O22/6007
馆藏复本:2
可借复本:1 吴翊, 吴孟达, 成礼智编著
国防科技大学出版社 1999
(0) 馆藏 -
中文图书4.模型论基础 O141.4/1041#1
馆藏复本:18
可借复本:16 王世强著
科学出版社 1987
(0) 馆藏 -
中文图书5.数理逻辑引论 O141/1797
馆藏复本:3
可借复本:2 马光胜编著
哈尔滨工程大学出版社 1997
(0) 馆藏 -
中文图书6.递归论 O141.3/4425
馆藏复本:9
可借复本:8 莫绍揆著
科学出版社 1987
(0) 馆藏 -
中文图书7.数学与猜想.第二卷,合情推理模式 O141/1060#1
馆藏复本:8
可借复本:7 (美) G. 波利亚著
科学出版社 2001
(0) 馆藏 -
中文图书8.数学与猜想.第一卷,数学中的归纳和类比 O141/1060
馆藏复本:8
可借复本:7 (美) G. 波利亚著
科学出版社 2001
(0) 馆藏 -
西文图书9.Computability and logic = 可计算性与数理逻辑 / 4th ed. O141/B724-4
馆藏复本:7
可借复本:6 George S. Boolos, John P. Burgess, Richard C. Jeffrey著.
Pub. House of Electronic Industry, 2003.
(0) 馆藏 -
西文图书10.An introduction to formal languages and automata = 形式语言与自动机导论 / 3rd ed. O141/L762-3
馆藏复本:5
可借复本:4 Peter Linz.
China Machine Press, 2004.
(0) 馆藏 -
中文图书11.数理逻辑引论与归结原理 O141/1062/ 1
馆藏复本:7
可借复本:6 王国俊著
科学出版社 2003
(0) 馆藏 -
中文图书12.应用逻辑 O141/8400
馆藏复本:5
可借复本:4 (美) Anil Nerode, Richard A. Shore著
机械工业出版社 2007
(0) 馆藏 -
中文图书13.面向计算机科学的数理逻辑:系统建模与推理:modelling and reasoning about systems O141/0580
馆藏复本:5
可借复本:4 (德) Michael Huth, (英) Mark Ryan著
机械工业出版社 2007
(0) 馆藏 -
中文图书14.数学模型.第3版 O141.4/8033/ -3
馆藏复本:6
可借复本:5 姜启源, 谢金星, 叶俊编
高等教育出版社 2003
(0) 馆藏 -
中文图书15.数学模型方法与算法 O22/3424
馆藏复本:5
可借复本:4 边馥萍, 候文华, 梁冯珍编著
高等教育出版社 2005
(0) 馆藏 -
中文图书16.数学建模与数学实验.第2版 O22/4457/ -2
馆藏复本:6
可借复本:5 主编赵静, 但琦
高等教育出版社 2003
(0) 馆藏 -
中文图书17.数学建模基础理论 O141.4/0076
馆藏复本:5
可借复本:4 高隆昌, 杨元著
科学出版社 2007
(0) 馆藏 -
中文图书18.逻辑导论 B81/9510
馆藏复本:5
可借复本:4 (美) 苏佩斯著
中国社会科学出版社 1984
(0) 馆藏 -
中文图书19.数理逻辑教程 O141/7443/ 1
馆藏复本:5
可借复本:4 陈慕泽著
上海人民出版社 2001
(0) 馆藏 -
中文图书20.数学建模精解精练 O22/3422/ 1
馆藏复本:5
可借复本:4 主编沈继红
哈尔滨工程大学出版社 2007
(0) 馆藏
上一页 1 / 2 下一页 到第 页