Blank Cover Image
所蔵情報QRコード

Enumerability, decidability, computability : an introduction to the theory of recursive functions / by Hans Hermes ; translated by G.T. Herman and O. Plassmann

資料種別:
図書
出版情報:
Berlin ; New York : Springer, 1965
形態:
ix, 245 p. ; 24 cm
シリーズ名:
Die Grundlehren der mathematischen Wissenschaften ; Bd. 127 <BA00007422>
著者名:
書誌ID:
BA0760523X
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Enumerability, decidability, computability : an introduction to the theory of recursive functions

Hermes, Hans

Springer
7 図書 Image reconstruction from projections : the fundamentals of computerized tomography

Herman, Gabor T.

Academic Press
2 図書 Computability, an introduction to recursive function theory (: pbk)

Cutland, Nigel

Cambridge University Press
8 電子ブック Fundamentals of Computerized Tomography

Herman, Gabor T.

SpringerLink Books - AutoHoldings, Springer London
3 図書 Recursive function theory and logic

Yasuhara, Ann

Academic Press
9 図書 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
4 図書 Recursive function theory

Symposium in Pure Mathematics, Dekker, J. C. E.

American Mathematical Society
10 図書 Theory of recursive functions and effective computability

Rogers, H. (Hartley), 1926-

McGraw-Hill
5 図書 Recursive function theory

American Mathematical Society

American Mathematical Society
11 図書 Theory of recursive functions and effective computability (: pbk)

Rogers, H. (Hartley), 1926-

MIT Press
6 電子ブック Fundamentals of Computerized Tomography

Herman, Gabor T.

Springer eBooks Computer Science, Springer London
12 電子ブック Computational Methods for Three-Dimensional Microscopy Reconstruction

Herman, Gabor T, Frank, Joachim

SpringerLink Books - AutoHoldings, Springer New York
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12