Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings

Saved in:
Corporate Author: International Conference on Rewriting Techniques and Applications
Other Authors: Bachmair, Leo, (Editor, ed.)
Format: Book
Language:English
Published: Berlin ; Springer, c2000.
Series:Lecture notes in computer science (Springer).
Subjects:

Biblioteca Laura Manzo - Universidad Nacional de Quilmes: DEPOSITO - Consultar en Mostrador

Call Number: 005.13 REW
Copy 1 Ejemplar de Consulta  Recall This