
Conte aos seus amigos sobre este item:
Rewriting Techniques and Applications: 11th International Conference, Rta 2000, Norwich, Uk, July 10-12, 2000: Proceedings - Lecture Notes in Computer Science
Leo Bachmair
Rewriting Techniques and Applications: 11th International Conference, Rta 2000, Norwich, Uk, July 10-12, 2000: Proceedings - Lecture Notes in Computer Science
Leo Bachmair
This volume constitutes the refereed proceedings of the 11th International Conference on Rewriting Techniques and Applications, RTA 2000, held in Norwich, UK, in July 2000.
282 pages, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 28 de junho de 2000 |
ISBN13 | 9783540677789 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 282 |
Dimensões | 156 × 234 × 15 mm · 680 g |
Idioma | German |
Editor | Bachmair, Leo |