Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Lecture Notes in Computer Science (1379), Band 1379)
von
Tobias Nipkow
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-64301-2
ISBN-10: 3-540-64301-X
Springer
· 2008
