Rewriting Techniques and Applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings /

Salvato in:
Dettagli Bibliografici
Autore principale: Leo Bachmair (edición)
Natura: Libro
Lingua:inglese
Pubblicazione: Berlín, Alemania : Springer, 2000, c2000
Serie:(Lecture Notes in Computer Science)
Accesso online:Ver documento en línea
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!