Acronyms von A bis Z
LNCS533
-E. Börger/H. Kleine Büning/M.M. Richter/W. Schönfeld (Eds.): Computer Science Logic, Springer-Verlag Proceedings 1990
-E. Börger/H. Kleine Büning/M.M. Richter/W. Schönfeld (Eds.): Computer Science Logic, Springer-Verlag Proceedings 1990