Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings / ed. Didier Galmiche.
Series Lecture notes in computer science ; v. 1227 | Lecture notes in computer science. Lecture notes in artificial intelligenceDetalles de publicación: Berlin : Springer, 1997.Descripción: xi, 372 p. : il. ; 24 cmISBN:- 3540629203
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. 1227 | Disponible | 14037 |
Total de reservas: 0