Theorem proving with analytic tableaux and related methods / ed. Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi.
Series Lecture notes in computer science ; v. 1071 | Lecture notes in computer science. Lecture notes in artificial intelligenceDetalles de publicación: Berlin : Springer, 1996.Descripción: x, 329 p. : il. ; 24 cmISBN:- 3540612084
Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|
Libro | FaMAF Sección Lecture Notes | C LNAI v. 1071 | Disponible | 15524 |
Total de reservas: 0