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

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

Thinking recursively

0
索取号：O141.3/E905
作者：Roberts、 Eric.、
出版社：New York : J. Wiley, c1986.

Lectures on constructive mathematical analysis

0
索取号：O141.3/E906
作者：Kushner、 B. A. (Boris Abramovich)、LĕИfman、 L. ︠и︡а. (Lev ︠и︡аkovlevich).、
出版社：Providence, R.I : American Mathematical Society, c1984.

Constructibility

0
索取号：O141.3/E907
作者：Devlin、 Keith J.、
出版社：Berlin ; New York : Springer-Verlag, 1984.

Computability, an introduction to recursive function theory

0
索取号：O141.3/E908
作者：Cutland、 Nigel.、
出版社：Cambridge [Eng.] ; New York : Cambridge University Press, 1980.

Algorithmics : theory and practice

0
索取号：O141.3/E909
作者：Brassard、 Gilles、 1955-、Bratley、 Paul.、
出版社：Englewood Cliffs, N.J : Prentice Hall, c1988.

Constructive analysis

0
索取号：O141.3/E902
作者：Bishop、 Errett、 1928-1983.、Bridges、 D. S. (Douglas S.)、 1945-、Bishop、 Errett、 1928-1983. Foundations of constructive analysis.、
出版社：Berlin ; New York : Springer-Verlag, c1985.

Recursion theory

0
索取号：O141.3/E903
作者：
出版社：Providence, R.I. : American Mathematical Society, 1985.

Recursion-theoretic hierarchies

0
索取号：O141.3/E801
作者：Hinman、 Peter G.、
出版社：Berlin ; New York : Springer-Verlag, 1978.

Introduction to computability

0
索取号：O141.3/E802
作者：Hennie、 Frederick C.、
出版社：Reading, Mass. : Addison-Wesley Pub. Co., c1977.

Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989

0
索取号：O141.3/E993
作者：
出版社：Berlin ; New York : Springer-Verlag, c1990.

Computability : a mathematical sketchbook

0
索取号：O141.3/E992
作者：Bridges、 D. S. (Douglas S.)、 1945-、
出版社：New York : Beijing : Springer-Verlag, World Publishing Co. c1994. 1997

Computability : a mathematical sketchbook

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

可计算性理论

0
索取号：O141.3/20001
作者：杨东屛、李昂生、
出版社：北京 : 科学出版社, 1999

多值逻辑的理论及应用

0
索取号：O141.3/931
作者：罗铸楷、
出版社：北京 : 科学出版社, 1992.3

可计算性与不可解性

0
索取号：O141.3/851
作者：戴维斯、M.、沈泓、
出版社：北京 : 北京大学出版社, 1984