-
西文图书1.Computability, an introduction to recursive function theory
馆藏复本:0
可借复本:0 Nigel Cutland.
Cambridge University Press, 1980.
(0) 馆藏 -
西文图书2.A programming approach to computability / TP311/KAJ
馆藏复本:1
可借复本:0 A.J. Kfoury, Robert N. Moll, Michael A. Arbib.
Springer-Verlag, c1982.
(0) 馆藏 -
西文图书3.The theory of computer science : a programming approach / TP31/BJM
馆藏复本:1
可借复本:0 J.M. Brady.
Chapman and Hall, 1977.
(0) 馆藏 -
西文图书4.Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, Septem O17-53/WCC
馆藏复本:1
可借复本:1 Jens Blanck, Vasco Brattka, Peter Hertling (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书5.Computability and logic = 可计算性与数理逻辑 / 4th ed. O141/BG/(4)
馆藏复本:2
可借复本:2 George S. Boolos, John P. Burgess, Richard C. Jeffrey著.
Pub. House of Electronic Industry, 2003.
(0) 馆藏 -
中文图书6.Computability & unsolvability / 511/D295
馆藏复本:1
可借复本:1 Martin David.
McGraw-Hill, 1958.
(0) 馆藏