Enumerability · Decidability Computability : An Introduction to the Theory of Recursive Functions
Gespeichert in:
| 1. Verfasser: | Hermes, Hans, 1912-2003 |
|---|---|
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Cham :
Springer International Publishing
[20..].
Cham : Springer Nature |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Enumerability · Decidability Computability, An Introduction to the Theory of Recursive Functions |
Ähnliche Einträge
-
Enumerability, decidability, computability : an introduction to the theory of recursive functions
(Livre papier)
Hermes, Hans, 1912-2003
Springer-Verlag, 1965 -
Enumerability · Decidability Computability : An Introduction to the Theory of Recursive Functions
(Livre numérique)
Hermes, Hans, 1912-2003 -
Theory of recursive functions and effective computability
(Livre papier)
Rogers, Hartley, 1926-2015
McGraw-Hill, 1967 -
Computability
(Livre papier)
Tourlakis, George J., 1946-
Reston Pub. Co., 1984 -
Computability
(Livre papier)
Weihrauch, Klaus, 1943-
Springer-Verlag, 1987

