Computing in horn clause theories.
Series EATCS monographs on theoretical computer science ; v. 16Detalles de publicación: Berlin : Springer, 1988Descripción: xi, 322 p. : il. ; 26 cmISBN:- 3540194274
Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|
Libro | FaMAF Sección Computación | C F4 P123 | Disponible | 14403 |
Total de reservas: 0