大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 数理逻辑 的图书(共79本)

数理逻辑

0
索取号:O141/921.2
作者:汪芳庭、
出版社:合肥 : 中国科学技术大学出版社, 2010

数理语言学

0
索取号:H087/6912
作者:
出版社:上海 : 知识出版社, 1985-11

数理逻辑

0
索取号:O141/20101
作者:张清宇、
出版社:北京 : 中国社会科学出版社, 2010

Mathematical logic = 数理逻辑

0
索取号:O141/E20092.2
作者:Ebbinghaus、 Heinz-Dieter、 1939-、Flum、 Jörg.、Thomas、 Wolfgang、 1947-、
出版社:北京 : 世界图书出版公司, 2008.

非经典数理逻辑与近似推理

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

数理逻辑引论

0
索取号:O141/20085
作者:朱梧、肖奚安、
出版社:大连 : 大连理工大学出版社, 2008

公理集合引论

0
索取号:O144/20071
作者:涂德辉、
出版社:重庆 : 西南师范大学出版社, 2007

弗雷格逻辑哲学与现代数理逻辑思潮

0
索取号:B516.59/20074
作者:郭泽深、
出版社:北京 : 中国社会科学出版社, 2006

可计算性与数理逻辑

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

离散数学

0
索取号:O158/983.2
作者:尹宝林、何自强、许光汉、
出版社:北京 : 高等教育出版社, 2004

离散数学

0
索取号:O158-43/20051
作者:许蔓苓、
出版社:北京 : 北京航空航天大学出版社, 2004

数理逻辑

0
索取号:O141/20041
作者:毕富生、
出版社:北京 : 高等教育出版社, 2004

计算机结构与逻辑设计

0
索取号:609285
作者:黄正瑾、
出版社:北京 : 高等教育出版社, 2001

数学机械化

0
索取号:O1-0/20043
作者:吴文俊、
出版社:北京 : 科学出版社, 2003

数理逻辑与集合论(第二版)精要与题解

0
索取号:O14/20011.2
作者:王宏、杨明、
出版社:北京 : 清华大学出版社, 2001

次协调逻辑与人工智能

0
索取号:B81-05/20031
作者:桂起权、陈自立、朱福喜、
出版社:武汉 : 武汉大学出版社, 2002
最近添加的分类