ISBN 9783540563938 books & textbook
Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings (Lecture Notes in Computer Science, 656)
Rusinowitch, Michael Remy, Jean-Luc
Springer /1993-01-29 Paperback / 520 Pages
isbn-10: 3540563938 / isbn-13: 9783540563938
