Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings / ed. Thomas Melham, Juanito Camilleri.
Series Lecture notes in computer science ; v. 859 | LNCS ; v. 859Detalles de publicación: Berlin : Springer, 1994.Descripción: ix, 470 p. : il. ; 24 cmISBN:- 3540584501
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. 859 | Disponible | 15587 |
Total de reservas: 0