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