Isabelle/ Hol: a proof assistant for higher-order logic / Tobias Nipkow
Idioma: Inglés Editor: Berlin: Springer 2002Descripción: 218 pISBN: 3540433767Tema(s): COMPUTER LOGIC | AUTOMATIC THEOREM PROVINGClasificación CDD: 004.01Tipo 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
Incluye bibliografía e índice p. 209
No hay comentarios en este titulo.