Isabelle/HOL : a proof assistant for higher order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel.
Series Lecture Notes in Computer Science, LNCS ; v. 2283Detalles de publicación: Berlin : Springer, 2002.Descripción: xiii, 218 p. : il. ; 24 cmISBN:- 3540433767
Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|
Libro | FaMAF Sección Lecture Notes | C LNCS v. 2283 | Disponible | 18086 |
Total de reservas: 0