- LNCS1074
- -G. Dowek/J. Heering/K. Meinke/B. Möller (Eds.): Higher-Order Algebra, Logic, and Term Rewriting. Proceedings 1995, Springer-Verlag 1996
Acronyms. 2013.
LNCS1074
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS1074 — G. Dowek/J. Heering/K. Meinke/B. Möller (Eds.): Higher Order Algebra, Logic, and Term Rewriting. Proceedings 1995, Springer Verlag 1996 … Acronyms von A bis Z
