- LNCS813
- -A. Nerode/Yu. N. Matiyasevich (Eds.): Logical Foundations of Computer Science, Proceedings 1994, Springer-Verlag 1994
Acronyms. 2013.
Acronyms. 2013.
LNCS813 — A. Nerode/Yu. N. Matiyasevich (Eds.): Logical Foundations of Computer Science, Proceedings 1994, Springer Verlag 1994 … Acronyms von A bis Z