Acronyms von A bis Z
LNCS1092
-H. Kleine Büning (Ed.): Computer Science Logic. Proceedings 1995, Springer-Verlag 1996
-H. Kleine Büning (Ed.): Computer Science Logic. Proceedings 1995, Springer-Verlag 1996