Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings (Lecture Notes in Computer Science (3467), Band 3467)
von
Jürgen Giesl
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-25596-3
ISBN-10: 3-540-25596-6
Springer
· 2008
