Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings (Lecture Notes in Computer Science (2706), Band 2706)
von
Robert Nieuwenhuis
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-40254-1
ISBN-10: 3-540-40254-3
Springer
· 2008
