Book serie: / Книги серии: Lecture Notes in Computer Science 308 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 308

book Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8–10, 1987 Proceedings

Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8–10, 1987 Proceedings

djvu

Author: J. C. M. Baeten W. P. Weijland (auth.) S. Kaplan J. -P. Jouannaud (eds.)
Language: English
Year: 1988

00

26.01.2024

0

0