Blank Cover Image
このページのQRコード

Computability & unsolvability

種類:
図書
責任表示:
Martin Davis
出版情報:
New York ; Toronto ; London : McGraw-Hill, 1958
著者名:
Davis, Martin, 1928- <DA00915927>  
シリーズ名:
McGraw-Hill series in information processing and computers <BA06859844>
注記:
Includes bibliographical references (p. 199-203) and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Computability, enumerability, unsolvability : directions in recursion theory

Cooper, S. B. (S. Barry), Slaman, T. A. (Theodore Allen), 1954-, Wainer, S. S, London Mathematical Society

Cambridge University Press
7 図書 Degrees of unsolvability : structure and theory

Epstein, Richard L., 1947-

Springer-Verlag
2 図書 Degrees of unsolvability

Sacks, Gerald E., 1933-

Princeton University Press
8 図書 Handbook of computability theory

Griffor, Edward R.

Elsevier
3 図書 Degrees of unsolvability

Sacks, Gerald E., 1933-

Princeton University Press
9 図書 Computability and complexity theory

Homer, S. (Steven), Selman, Alan L.

Springer
4 図書 Computability

Weihrauch, Klaus, 1943-

Springer-Verlag
10 図書 Computability : a mathematical sketchbook

Bridges, D. S. (Douglas S.), 1945-

Springer-Verlag
5 図書 Computability and logic

Boolos, George, Jeffrey, Richard C.

Cambridge University Press
11 図書 Computability, an introduction to recursive function theory

Cutland, Nigel

Cambridge University Press
6 図書 Theory of recursive functions and effective computability

Rogers, H. (Hartley), 1926-

McGraw-Hill
12 図書 Elementary computability, formal languages, and automata

McNaughton, Robert

Prentice-Hall