Más de Martin Davis
Ver autor →Otras obras del mismo autor en el catálogo
Computability and Unsolvability
1958
Máquinas de Turing y funciones recursivas
1958
Máquinas de Turing
1965
Principles of Mathematical Logic
1965
The Logic of Computation
1967
Computability, Complexity, And Languages: Fundamentals Of Theoretical Computer Science
1983
Introduction to Recursion Theory
1991
Sets, Relations, and Functions
1995
Computational Complexity: A Modern Approach
1998
La Máquina Universal. Los orígenes de la informática
2000
The Universal Computer: The Road from Leibniz to Turing
2000
Engaging the Future: Forecasting Technology and Its Implications
2000
Libros similares
Libros relacionados según distintos criterios de búsqueda
Restará un crédito a tus libros recomendados de esta semana.