- LNCS308
- -S. Kaplan/J.-P. Jouannaud (Eds.): Conditional Term Rewriting Systems, Proceedings 1987, Springer-Verlag 1988
Acronyms. 2013.
Acronyms. 2013.
LNCS308 — S. Kaplan/J. P. Jouannaud (Eds.): Conditional Term Rewriting Systems, Proceedings 1987, Springer Verlag 1988 … Acronyms von A bis Z