Rewriting Techniques and Applications: 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings (Lecture Notes in Computer Science (1232), Band 1232)

Applications

von Hubert Comon

Taschenbuch

ISBN-13: 978-3-540-62950-4

ISBN-10: 3-540-62950-5

Springer · 2008