Isabelle/ Hol: a proof assistant for higher-order logic / Tobias Nipkow
Por: Nipkow, Tobias
Colaborador(es): Paulson, Lawrence C., Wenzel, MarkusIdioma: Inglés Editor: Berlin: Springer 2002Descripción: 218 pISBN: 3540433767Tema(s): COMPUTER LOGIC | AUTOMATIC THEOREM PROVINGClasificación CDD: 004.01
| Tipo de ítem | Ubicación actual | Colección | Signatura | Info Vol | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|---|---|
LIBRO - MATERIAL GENERAL
|
Bodega | Colección / Fondo / Acervo / Resguardo | 004.01 N464i (Navegar estantería) | Ej. 1 | 1 | Disponible | 014182 |
Total de reservas: 0
Navegando Bodega Estantes, Código de colección: Colección / Fondo / Acervo / Resguardo Cerrar el navegador de estanterías
| 004 N677i Introducción a la computación / | 004 S15c Cómo poner a punto su PC. Abarca todos los modelos de ordenadores/ | 004 S771b The big idea: turing and the computer/ | 004.01 N464i Isabelle/ a proof assistant for higher-order logic / Tobias Nipkow | 004.0151 N453m Matemáticas básicas para la computación/ | 004.019 H851 2a.ed Human-computer interaction. | 004.068 M346s Service-oriented architecture: |
Incluye bibliografía e índice p. 209
AK. 45 No. 205 - 59, Autopista Norte.
PBX: +60(1) 668 3600 - Bogotá.
No hay comentarios en este titulo.