Computability and unsolvability / Martin Davis.
Tipo de material:
TextoIdioma: Inglés Detalles de publicación: New York : Dover, 1982Descripción: 248 p. ; 22 cmISBN: 0-486-61471-9Tema(s): Funciones recursivas | Sin solucion (Logica simbolica y matematica) | Funciones computablesClasificación LoC:QA9.615 | D58
| Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
Libro
|
Biblioteca Central Ensenada | Acervo General | QA9.615 D58 (Browse shelf(Abre debajo)) | 1 | Disponible | ENS014389 |
Navegando Biblioteca Central Ensenada Estantes, Código de colección: Acervo General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| No hay imagen de cubierta disponible | ||||||||
| QA9.58 A24 Análisis de algoritmos y teoría de grafos / | QA9.58 A24 Análisis de algoritmos y teoría de grafos / | QA9.58 L33 2008 Fundamentos de algoritmos y programación / | QA9.615 D58 Computability and unsolvability / | QA9.615 D58 Computability and unsolvability / | QA9.64 K6818 2010 El futuro borroso o el cielo en un chip / | QA9.64 S58 2009 Sistemas con lógica difusa / |
Incluye bibliografia.
9
