Saltar al contenido
VuFind
Lenguaje
English
Español
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Computations in higher types /
Descripción
Citar
Enviar este por Correo electrónico
Imprimir
Exportar Registro
Exportar a RefWorks
Exportar a EndNoteWeb
Exportar a EndNote
Exportar a MARC
Exportar a RDF
Exportar a BibTeX
Exportar a RIS
Computations in higher types /
Detalles Bibliográficos
Autor principal:
Moldestad, John 1946-
(Autor, Autor/a)
Formato:
Libro
Lenguaje:
English
Publicado:
Berlín :
Springer,
1964-.
Materias:
FUNCIONES RECURSIVAS
Existencias
Descripción
Ejemplares similares
Vista Equipo
Descripción
Notas:
En : Lecture notes in mathematics. n. 1- Berlin, Springer, 1964- v. 574
Descripción Física:
203 páginas
Ejemplares similares
Recursive equivalence types /
por: Dekker, Jacob C.E. 1921 -, et al.
Publicado: (1960)
Computability /
por: Tourlakis, George J., et al.
Publicado: (1984)
Computability and unsolvability
por: Davis, Martin 1928-, et al.
Publicado: (1958)
Computability : an introduction to recursive function theory /
por: Cutland, Nigel, et al.
Publicado: (1980)
Theory of recursive functions and effective computability /
por: Rogers, Hartley n. 1926-, et al.
Publicado: (1967)
×
Cargando...