Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings (Lecture Notes in Computer Science (2051), Band 2051)
von
Aart Middeldorp
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-42117-7
ISBN-10: 3-540-42117-3
Springer
· 2008