Acronyms von A bis Z
LNCS417
-P Martin-Löf/G. Mints (Eds.): COLOG-88. Internatiorial Conference on Computer Logic, Proceedings 1988, Springer-Verlag 1990
-P Martin-Löf/G. Mints (Eds.): COLOG-88. Internatiorial Conference on Computer Logic, Proceedings 1988, Springer-Verlag 1990