Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings (Lecture Notes in Computer Science (4098), Band 4098)
von
Frank Pfenning
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-36834-2
ISBN-10: 3-540-36834-5
Springer
· 2008
