-
西文图书1.Recursion theory /
馆藏复本:0
可借复本:0 Joseph R. Shoenfield.
(0) 馆藏 -
西文图书2.Aspects of incompleteness /
馆藏复本:0
可借复本:0 Per Lindstr枚m.
(0) 馆藏 -
西文图书3.Computability, an introduction to recursive function theory
馆藏复本:0
可借复本:0 Nigel Cutland.
Cambridge University Press, 1980.
(0) 馆藏 -
中文图书4.递归论:算法与随机性基础 O141.3/10
馆藏复本:2
可借复本:2 郝兆宽, 杨睿之, 杨跃著
复旦大学出版社 2018
(0) 馆藏 -
中文图书5.递归函数论 O141.3/9
馆藏复本:1
可借复本:0 培特(Peter,R.)著
科学出版社 1958
(0) 馆藏 -
中文图书6.可计算性理论 O141.3/8
馆藏复本:1
可借复本:0 张鸣华
清华大学出版社 1984
(0) 馆藏 -
中文图书7.算法论 O141.3/1
馆藏复本:6
可借复本:1 莫绍揆编著
科学出版社 1982
(0) 馆藏 -
中文图书8.非递归模型:内生性、互反关系与反馈环路 O141.3/7
馆藏复本:2
可借复本:2 (美) 帕梅拉·M.帕克斯顿, 约翰·R.希普, 桑德拉·马奎特-派亚特著
格致出版社 2016
(0) 馆藏 -
中文图书9.多层次模型 O141.3/5
馆藏复本:2
可借复本:2 (美) 道格拉斯·A.卢克著
格致出版社 2012
(0) 馆藏 -
中文图书10.非递归因果模型 O141.3/6
馆藏复本:2
可借复本:2 (美) 威廉·D. 贝里著
格致出版社 2012
(0) 馆藏 -
西文图书11.Algorithmics : theory and practice / O141.3/BG
馆藏复本:1
可借复本:1 Gilles Brassard and Paul Bratley.
Prentice Hall, c1988.
(0) 馆藏 -
西文图书12.Introduction to computability / O141.3/HF
馆藏复本:1
可借复本:1 Fred Hennie.
Addison-Wesley Pub. Co., c1977.
(0) 馆藏 -
中文图书13.Problems in Euclidean space : application of convexity / 513.8/EG33
馆藏复本:1
可借复本:1 the Adams prize essay of the University of Cambridge, 1955-6.
Pergamon Press, 1957.
(0) 馆藏 -
西文图书14.Mathematical theory of computation / O141.3/MZ
馆藏复本:2
可借复本:2 Zohar Manna.
McGraw-Hill, 1974.
(0) 馆藏 -
西文图书15.Thinking recursively / O141.3/RE
馆藏复本:1
可借复本:1 Eric Roberts.
J. Wiley, c1986.
(0) 馆藏 -
中文图书16.Computability & unsolvability / 511/D295
馆藏复本:1
可借复本:1 Martin David.
McGraw-Hill, 1958.
(0) 馆藏 -
中文图书17.多值逻辑的理论及应用 TP331.1/9
馆藏复本:3
可借复本:2 罗铸楷, 胡谋, 陈廷槐著
科学出版社 1992
(0) 馆藏 -
中文图书18.算法论 O141.3/3/V.1
馆藏复本:3
可借复本:3 (苏) 马尔科夫( Марков, А. А.)著
科学出版社 1959-1960
(0) 馆藏 -
中文图书19.可计算性理论 O141.3/2
馆藏复本:3
可借复本:2 张宏裕编著
天津科学技术出版社 1989
(0) 馆藏 -
中文图书20.递归函数论 O141.3/4
馆藏复本:2
可借复本:2 莫绍揆编著
上海科学技术出版社 1965
(0) 馆藏