Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings Leo Bachmair (ed.).
Colaborador(es): Bachmair, Leo [ed.] | International Conference on Rewriting Techniques and Applications Norwich, England) 2000 : (11th.
Series Lecture notes in computer science (Springer)1833: Editor: Berlin ; Springer, c2000Descripción: x, 273 p. : il. ; 24 cm.ISBN: 354067778X.Tema(s): Informática | Programación de computadora | Aplicaciones de computadoresClasificación CDD: 005.13Tipo de ítem | Ubicación actual | Signatura | Copia número | Estado | Fecha de vencimiento |
---|---|---|---|---|---|
Libros | Biblioteca Laura Manzo - Universidad Nacional de Quilmes SALA | 005.13 REW (Navegar estantería) | 1 | Disponible |
Actas de la 11a. Conferencia Internacional de Técnicas y Aplicaciones de Reescritura.
Incluye referencias bibliográficas e índice.