Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit ; Einführung in die Theorie der rekursiven Funktionen.
Guardado en:
| Autor Principal: | Hermes, Hans. |
|---|---|
| Formato: | Libro |
| Idioma: | German |
| Publicado: |
Berlin :
Springer,
1961.
|
| Series: | Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ;
Bd. 109. |
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
Enumerability, decidability, computability : an introduction to the theory of recursive functions /
por: Hermes, Hans.
Publicado: (1965) -
The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions /
Publicado: (1965) -
Theory of recursive functions and effective computability /
por: Rogers, H. 1926-
Publicado: (1967) -
Gödel's theorem : an incomplete guide to its use and abuse /
por: Franzén, Torkel.
Publicado: (2005) -
Computability, an introduction to recursive function theory /
por: Cutland, Nigel.
Publicado: (1980)
