Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings (Lecture Notes in Computer Science (308), Band 308)
von:
Stephane Kaplan
·
Jean-Pierre Jouannaud
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-19242-8
ISBN-10: 3-540-19242-5
Springer
· 2008