Enumerability, decidability, computability : an introduction to the theory of recursive functions /
Guardado en:
| Autor Principal: | Hermes, Hans. |
|---|---|
| Formato: | Libro |
| Idioma: | English German |
| Publicado: |
Berlin :
Springer-Verlag,
1965.
|
| Series: | Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ;
Bd. 127. |
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Ejemplares similares
-
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit ; Einführung in die Theorie der rekursiven Funktionen.
por: Hermes, Hans.
Publicado: (1961) -
Theory of recursive functions and effective computability /
por: Rogers, H. 1926-
Publicado: (1967) -
Computability, an introduction to recursive function theory /
por: Cutland, Nigel.
Publicado: (1980) -
The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions /
Publicado: (1965) -
Recursive functions /
por: Péter, Rózsa, 1905-
Publicado: (1967)
