大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 莫绍揆 的图书(共14本)

形式语言及其与自动机的关系

0
索取号：035452
作者：霍普克罗夫特 J.E.、厄尔曼 J.D.、莫绍揆、
出版社：北京 : 科学出版社, 1979

可计算性理论

0
索取号：094558
作者：莫绍揆、王元元、
出版社：北京 : 科学出版社, 1987.12

递归论

0
索取号：655453
作者：莫绍揆、
出版社：北京 : 科学出版社, 1987.11

可计算性理论

0
索取号：112934
作者：莫绍揆、王元元、
出版社：北京 : 科学出版社, 1987.12

数学基础

0
索取号：627816
作者：莫绍揆、
出版社：北京 : 高等教育出版社, 1991

数理逻辑概貌

0
索取号：O141/811(4)
作者：莫绍揆、
出版社：北京 : 科学技术文献出版社, 1989.3

数理逻辑

0
索取号：049157
作者：莫绍揆、
出版社：北京 : 高等教育出版社, 1984

数理逻辑初步

0
索取号：049144
作者：莫绍揆、
出版社：上海 : 上海人民出版社, 1980

元数学导论. 上册

0
索取号：079449
作者：克林、S.C.、莫绍揆、
出版社：北京 : 科学出版社, 1984

质点几何学

0
索取号：629064
作者：莫绍揆、
出版社：重庆 : 重庆出版社, 1992.9

算法论

0
索取号：088499
作者：莫绍揆、
出版社：北京 : 科学出版社, 1982

极限论新解

0
索取号：O171/932
作者：莫绍揆、
出版社：北京 : 高等教育出版社, 1992.5

元数学导论. 下册

0
索取号：194595
作者：克林、S.C.、莫绍揆、
出版社：北京 : 科学出版社, 1985

数理逻辑教程

0
索取号：627773
作者：莫绍揆、
出版社：武汉 : 华中工学院出版社, 1982