Enumerability · Decidability Computability : An Introduction to the Theory of Recursive Functions
Guardado en:
| Autor principal: | Hermes, Hans, 1912-2003 |
|---|---|
| Formato: | Livre numérique |
| Lenguaje: | Anglais |
| Publicado: |
Cham :
Springer International Publishing
[20..].
Cham : Springer Nature |
| Acceso en línea: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
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 |
Ejemplares similares
-
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

