- LNCS816
- -Heering et al. (Eds.): Higher-Order Algebra, Logic, and Term Rewriting. Proceedings 1993, Springer-Verlag 1994
Acronyms. 2013.
LNCS816
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS816 — Heering et al. (Eds.): Higher Order Algebra, Logic, and Term Rewriting. Proceedings 1993, Springer Verlag 1994 … Acronyms von A bis Z
