Blank Cover Image
所蔵情報QRコード

Computability & unsolvability / Martin Davis

資料種別:
図書
出版情報:
New York ; Toronto ; London : McGraw-Hill, 1958
形態:
xxv, 210 p. ; 24 cm
シリーズ名:
McGraw-Hill series in information processing and computers <BA06859844>
著者名:
Davis, Martin, 1928- <DA00915927>  
書誌ID:
BA04644064
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions

Davis, Martin, 1928-

Raven Press
7 図書 Subrecursion : functions and hierarchies (: U.S.)

Rose, H. E. (Harvey E.)

Clarendon Press, Oxford University Press
2 図書 Degrees of unsolvability

Sacks, Gerald E., 1933-

Princeton University Press
8 図書 Computability theory : an introduction

Jones, Neil D., 1941-

Academic Press
3 図書 Theory of recursive functions and effective computability

Rogers, H. (Hartley), 1926-

McGraw-Hill
9 図書 Theory of recursive functions and effective computability (: pbk)

Rogers, H. (Hartley), 1926-

MIT Press
4 図書 Enumerability, decidability, computability : an introduction to the theory of recursive functions

Hermes, Hans

Springer
10 電子ブック Computability and logic / ((ebook))

Boolos, George, Burgess, John P., Jeffrey, Richard C.
5 図書 Recursively enumerable sets and degrees : a study of computable functions and computably generated sets (: U.S. ; : Germany)

Soare, R. I. (Robert Irving), 1940-

Springer-Verlag
11 電子ブック Degrees of unsolvability : local and global theory (: electronic bk)

Lerman, M.
6 図書 Computability (: us ; : gw)

Weihrauch, Klaus, 1943-

Springer-Verlag
12 図書 Degrees of unsolvability (: ne ; : us)

Shoenfield, Joseph R. (Joseph Robert), 1927-

North-Holland, Sole distributors, American Elsevier
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12