大拱桥--暨南大学学生门户 » 图书馆 » 数理逻辑(符号逻辑)(分类号：O141)(共270本)

分类依据：参见B815,O211.

Algorithms and complexity : second Italian conference, CIAC '94, Rome, Italy, February 23-25, 1994 : proceedings

0
索取号：O141-532/E991
作者：
出版社：Berlin ; New York : Springer-Verlag, c1994.

Quantifiers : logics, models and computation

0
索取号：O141/E992
作者：
出版社：Dordrecht : Kluwer Academic Publishers, c1995.

Mathematical modelling skills

0
索取号：O141.4/E991
作者：Edwards、 Dilwyn、Hamson、 Michael.、
出版社：Houndmills, Basingstoke, Hampshire : Macmillan, 1996.

数学建模原理与案例

0
索取号：O141.4/20072
作者：冯杰、
出版社：北京 : 科学出版社, 2007

可计算性与数理逻辑

0
索取号：O141/20073
作者：布勒斯、 G. S.、伯吉斯、 J. P.、杰弗里、 R. C.、何自强、
出版社：北京 : 电子工业出版社, 2005

数学建模方法与实践

0
索取号：O141.4/20071
作者：董臻圃、
出版社：北京 : 国防工业出版社, 2006

数理逻辑的思想与方法

0
索取号：O141/20071
作者：李娜、
出版社：天津 : 南开大学出版社, 2006

中国大学生数学建模竞赛

0
索取号：O141.4/20069.2
作者：李大潜 (数学)、
出版社：北京 : 高等教育出版社, 2001

数学建模. 本科册

0
索取号：O141.4/20068
作者：湖北省大学生数学建模竞赛专家组、
出版社：武汉 : 华中科技大学出版社, 2006

数理逻辑引论与归结原理

0
索取号：O141/20061.2
作者：王国俊、
出版社：北京 : 科学出版社, 2006

数学模型与数学建模

0
索取号：O141.4/20067
作者：陈汝栋、于延荣、
出版社：北京 : 国防工业出版社, 2006

数学建模及其基础知识详解

0
索取号：O141.4/200610
作者：王文波、
出版社：武汉 : 武汉大学出版社, 2006

数学建模与实验

0
索取号：O141.4/20065
作者：宋来忠、王志明、
出版社：北京 : 科学出版社, 2005

数学建模

0
索取号：O141.4/20064
作者：刘锋、
出版社：南京 : 南京大学出版社, 2005

数学建模基础

0
索取号：O141.4/20062
作者：王兵团、
出版社：北京 : 清华大学出版社 : 北方交通大学出版社, 2004

数学建模引论

0
索取号：O141.4/20061
作者：阮晓青、周义仓、
出版社：北京 : 高等教育出版社, 2005