Enumerability, decidability, computability: an introduction to the theory of recursive functions

Guardado en:
Detalles Bibliográficos
Autor principal: Hermes, Hans (Autor)
Formato: Libro
Lenguaje:inglés
Publicado: Berlín Springer-Verlag 1969
Materias:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!