Su búsqueda retornó 9 resultados.

¿No encontró lo que esperaba? Pruebe buscando sugerencias
Ordenar
Resultados
Algorithmentheorie

por Loeckx, Jacques.

Series HochschultextTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin : Springer-Verlag, 1976Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.8 L825.

Computabilbity theory : an introduction

por Jones, Neil D.

Series ACM monograph seriesTipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: New York : Acedemic Press, 1973Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 J78.

Enumerability, decidability, computability : an introduction to the theory of resursive functions / Hans Hermes

por Hermes, Hans.

Series Die Grundlehren der Mathematischen Wissenschaften ; , v.127Edición: 2nd. ed.Tipo de material: Texto Texto; Formato: impreso Editor: Berlin : Springer-Verlag, 1969Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (2) Signatura topográfica: 511.3 H553, ...

The foundations of intuitionistic mathematics : especially in relation to recursive functions Stephen Cole Kleene and Richard Eugene Vesley

por Kleene, Stephen Cole.

Series Studies in logic and the foundations of mathematicsTipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Amsterdam : North-Holland, 1965Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 510.1 K63.

An introduction to the general theory of algorithms

por Machtey, Michael | Young, Paul.

Series The Computer science library. Theory of computation seriesTipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York : North Holland, 1978Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.8 M151.

Introduction to the theory of computation

por Engeler, Erwin.

Series Computer science and applied mathematicsTipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: New York : Acedemic Press, 1973Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 E57.

Limitaciones matemáticas de los métodos de computación Rodrigo Valenzuela C.

por Valenzuela C., Rodrigo.

Series Fascículos para la Comprensión de la Ciencia, las Humanidades y la Tecnología ; no.12Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Santiago : Universitaria, 1978Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (2) Signatura topográfica: 511.3 V161, .., Biblioteca Sede Viña del Mar (2) Signatura topográfica: 511.3 V161 1978, ...

Recursive function Translated by István Földes

por Peter, Rózsa.

Edición: 3rd. rev. ed.Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: New York : Academic Press, 1967Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 P478.

Theory of computation

por Brainerd, Walter S | Landweber, Lawrence H.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York : John Wiley, 1974Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 519.4 B814.

Páginas