Conditional term rewriting systems / ed. Michaël Rusinowitch, Jean-Luc Rémy.
Series Lecture notes in computer science ; v. 656 | LNCS ; v. 656Detalles de publicación: Berlin : Springer, 1993.Descripción: xv, 502 p. : il. ; 24 cmISBN:- 3540563938
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. 656 | Disponible | 14090 |
Total de reservas: 0