1.

図書
図書
1. Computable models
Raymond Turner
出版情報: London : Springer, c2009
所蔵情報: loading…
2.

図書
図書
2. Computability and complexity theory
Steven Homer, Alan L. Selman
出版情報: New York : Springer, c2001
シリーズ名: Undergraduate texts in computer science
所蔵情報: loading…
3.

図書
図書
3. Computable analysis : an introduction (: [pbk.])
Klaus Weihrauch
出版情報: Berlin ; New York ; Tokyo : Springer, c2000
シリーズ名: Texts in theoretical computer science ; an EATCS series
所蔵情報: loading…
4.

図書
図書
4. Computability, enumerability, unsolvability : directions in recursion theory
edited by S.B. Cooper, T.A. Slaman, S.S. Wainer
出版情報: Cambridge : Cambridge University Press, 1996
シリーズ名: London Mathematical Society lecture note series ; 224
所蔵情報: loading…
5.

図書
図書
5. Computability : a mathematical sketchbook (: us ; : gw)
Douglas S. Bridges
出版情報: New York ; Berlin : Springer-Verlag, c1994
シリーズ名: Graduate texts in mathematics ; 146
所蔵情報: loading…
6.

図書
図書
6. Introduction to languages and the theory of computation
John C. Martin
出版情報: New York : McGraw-Hill, c1991
所蔵情報: loading…
7.

図書
図書
7. The theory of computability : programs, machines, effectiveness and feasibility
R. Sommerhalder, S.C. van Westrhenen
出版情報: Wokingham, England ; Tokyo : Addison-Wesley Pub. Co., c1988
シリーズ名: International computer science series
所蔵情報: loading…
8.

図書
図書
8. Computability (: us ; : gw)
Klaus Weihrauch
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: EATCS monographs on theoretical computer science ; v. 9
所蔵情報: loading…
9.

図書
図書
9. Recursively enumerable sets and degrees : a study of computable functions and computably generated sets (: U.S. ; : Germany)
Robert I. Soare
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Perspectives in mathematical logic
所蔵情報: loading…
10.

図書
図書
10. Theory of recursive functions and effective computability (: pbk)
Hartley Rogers, Jr
出版情報: Cambridge, Mass. : MIT Press, 1987
所蔵情報: loading…