Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings: 308 (Lecture Notes in Computer Science)

Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings: 308 (Lecture Notes in Computer Science)

by Jean-Pierre Jouannaud (Author), Stephane Kaplan (Author)

$73.73

Save:$5.39 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 292
Edition: 1988
Publisher: Springer
Published: 13 Jun 2008

ISBN 10: 3540192425
ISBN 13: 9783540192428