kaplan stephane jouannaud jean pierre books & textbook
Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings (Lecture Notes in Computer Science, 308)
Kaplan, Stephane Jouannaud, Jean-Pierre
Springer /1988-06-22 Paperback / 292 Pages
isbn-10: 3540192425 / isbn-13: 9783540192428
