大拱桥--暨南大学学生门户 » 图书馆 » 递归论(递归函数,能行性理论)(分类号：O141.3)(共31本)

分类依据：分层,可计算理论与构造论,可构造性理论,λ 转换,图灵机,有穷组合过程,组合逻辑等入此.参见B815.2.<3版类名:可计算理论和构造论>

Problems in Euclidean space : application of convexity

0
索取号：O141.3/E602
作者：Eggleston、 Harold Gordon、 1921-、
出版社：New York : Pergamon Press, 1957.

非递归因果模型

0
索取号：O141.3/20131
作者：贝里、洪岩璧、陈陈、
出版社：上海 : 格致出版社 : 上海人民出版社, 2012

多层次模型

0
索取号：O141.3/20132
作者：卢克、郑冰岛、
出版社：上海 : 格致出版社 : 上海人民出版社, 2012

粒子群优化算法及其工程应用

0
索取号：O141.3/20111
作者：刘波、
出版社：北京 : 电子工业出版社, 2010

模型降阶方法

0
索取号：O141.3/20101
作者：蒋耀林、
出版社：北京 : 科学出版社, 2010

Recursion theory

0
索取号：O141.3/E20101
作者：Shoenfield、 Joseph R. (Joseph Robert)、 1927-、
出版社：Natick, Mass. : A.K. Peters, [c2001]

Thinking recursively with Java

0
索取号：O141.3/E20102
作者：Roberts、 Eric.、
出版社：Hoboken, NJ : John Wiley, c2006.

多值逻辑的方法和理论 : 非正规多值逻辑研究

0
索取号：O141.3/20091
作者：霍书全、
出版社：北京 : 科学出版社, 2009

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets = 递归可枚举集和图灵度 : 可计算函数与可计算生成集研究

0
索取号：O141.3/E20072
作者：Soare、 R. I. (Robert Irving)、 1940-、
出版社：北京 : 科学出版社, 2007

Computability and logic = 可计算性与数理逻辑

0
索取号：O141.3/E20071.4
作者：Boolos、 George.、Burgess、 John P.、 1948-、Jeffrey、 Richard C.、
出版社：Beijing : Pub. House of Electronic Industry, 2003.

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets

0
索取号：O141.3/E20072-2
作者：Soare、 R. I. (Robert Irving)、 1940-、
出版社：Berlin ; New York : Springer-Verlag, c1987.

Recursion sequences

0
索取号：O141.3/E803
作者：Markushevich、 A. I. (Alekseĭ Ivanovich)、 1908-、
出版社：Moscow : Mir, 1975.

Proceedings of the sixth annual Symposium on Computational Geometry : Berkeley, California, June 6-8, 1990

0
索取号：O141.3-53/E991
作者：Symposium on Computational Geometry (6th : 1990 : Berkeley、 Calif.)、SIGGRAPH.、ACM Special Interest Group for Automata and Computability Theory.、
出版社：New York, N.Y. : ACM Press, c1990.

Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM Joint Summer Research Conference, Computability Theory and Applications, June 13-17, 1999, University of Colorado, Boulder

0
索取号：O141.3-532/E20011
作者：
出版社：Providence, R.I. : American Mathematical Society, c2000.

Computational complexity theory

0
索取号：O141.3-53/E901
作者：
出版社：Providence, R.I. : American Mathematical Society, c1989.

Theory of computation

0
索取号：O141.3/E901
作者：Wood、 Derick、 1940-、
出版社：New York : Harper & Row, c1987.