Theorem proving in higher order logics / ed. Joakim von Wright, Jim Grundy, John Harrison.
Series Lecture notes in computer science ; v. 1125 | LNCS ; v. 1125Detalles de publicación: Berlin : Springer, 1996.Descripción: viii, 446 p. : il. ; 24 cmISBN:- 3540615873
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. 1125 | Disponible | 15148 |
Total de reservas: 0
Incluye referencias bibliográficas e índice.