Computability & unsolvability / Martin Davis |
Autore | Davis, Martin |
Pubbl/distr/stampa | New York : McGraw-Hill, 1958 |
Descrizione fisica | xxv, 210 p. ; 22 cm. |
Disciplina | 511.35 |
Collana | McGraw-Hill series in information processing and computers |
Soggetto topico |
Models of computation
Recursive functions |
Classificazione |
AMS 03D10
AMS 03D20 AMS 68Q05 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000772859707536 |
Davis, Martin | ||
New York : McGraw-Hill, 1958 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Enumerability, decidability, computability : an introduction to the theory of recursive functions / Hans Hermes ; translated by G. T. Hermann and O. Plassmann |
Autore | Hermes, Hans |
Edizione | [2nd English ed] |
Pubbl/distr/stampa | Berlin : Springer-Verlag, 1969 |
Descrizione fisica | x, 245 p. ; 24 cm. |
Altri autori (Persone) |
Hermann, G. T.
Plassmann, O. |
Collana | Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; 127 |
Soggetto topico |
Recursive functions
Subrecursive hierarchies |
Classificazione | AMS 03D20 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000862859707536 |
Hermes, Hans | ||
Berlin : Springer-Verlag, 1969 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Recursive function theory / ed. J. C. E. Dekker |
Autore | Dekker, J. C. E. |
Edizione | [3rd print. with correct. 1979] |
Pubbl/distr/stampa | Providence, R. I. : American Mathematical Society, 1962 |
Descrizione fisica | vii, 247 p. , 26 cm. |
Disciplina | 511.33 |
Collana | Proceedings of symposia in pure mathematics, 0082-0717 ; 5 |
Soggetto topico |
Recursion theory
Recursive functions Relations Subrecursive hierarchies |
ISBN | 0821814052 |
Classificazione |
AMS 03-06
AMS 03D AMS 03D20 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001291349707536 |
Dekker, J. C. E. | ||
Providence, R. I. : American Mathematical Society, 1962 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|