Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings (Lecture Notes in Computer Science (656), Band 656)
von:
Jean-Luc Remy ·
Michael Rusinowitch
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-56393-8
ISBN-10: 3-540-56393-8
Springer
· 2008
