Acronyms von A bis Z
LNCS1258
-D. van Dalen/M. Bezem (Eds.): Computer Science Logic. Proceedings 1996, Springer-Verlag 1997
-D. van Dalen/M. Bezem (Eds.): Computer Science Logic. Proceedings 1996, Springer-Verlag 1997