Automated deduction, CADE- 13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings / ed. Michael A. McRobbie, John K. Slaney.
Series Lecture notes in computer science ; v. 1104 | Lecture notes in computer science. Lecture notes in artificial intelligenceDetalles de publicación: Berlin : Springer, 1996.Descripción: xv, 764 p. : il. ; 24 cmISBN:- 3540615113
| Tipo de ítem | Biblioteca actual | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems | |
|---|---|---|---|---|---|---|---|
Libro
|
FaMAF Sección Lecture Notes | C LNAI v. 1104 | Disponible | 15366 |
Total de reservas: 0