Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987, Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1988)

All listings for this product