Universidad Nacional Autónoma de México
Facultad de Ciencias
Catálogo de la Biblioteca "Ricardo Monges López"

Su búsqueda recuperó 8 resultados.

Ordenar
Resultados
Algorithm design : A recursion transformation framework/ Marvin c. paull

por Paull, Marvin C [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : J. Wiley, c1988Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.6 P38.

Computability in combinatory spaces : An algebraic generalization of abstract first order computability / By dimiter g. skordev

por Skordev, Dimitur Genchev [autor].

Series Mathematics and its applications (east european series) ; v. 55Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Dordrecht : Kluwer, 1992Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.6 S56.

Computability theory : an introduction to recursion theory / Herbert B. Enderton

por Enderton, Herbert B [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Academic Press, c2011Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.6 E54.

Fractals, chaos, power laws : Minutes from a infinite paradise / Manfred Schroeder

por Schroeder, Manfred Robert, 1926- [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : W. H. Freeman, [1991]Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QC174.17S9 S345, ... No disponible para préstamo a domicilio:Libros: Prestado (1).

Higher recursion theory / Gerald e. sacks

por Sacks, Gerald E [autor].

Series Perspectives in mathematical logicTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c1990Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.6 S33.

Recursion-theoretic hierarchies / Peter G. Hinman

por Hinman, Peter G [autor].

Series Perspectives in mathematical logicTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Berlin ; New York : Springer Verlag, 1978Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.62 H55.

Recursion theory for metamathematics / Raymond m. smullyan

por Smullyan, Raymond M [autor] | University of Oxford.

Series Oxford logic guides ; 22Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Oxford University Press, c1993Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA9.6 S58, ...

Theory of computation / Dexter C. Kozen

por Kozen, Dexter C, 1951- [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: London : Springer Verlag, 2006Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA267.7 K69, ...

Páginas
¿No encuentras lo que estás buscando?

Universidad Nacional Autónoma de México 

Biblioteca "Ricardo Monges López" de la Facultad de Ciencias

©2023 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad