Acronyms von A bis Z
LNCS1584
-G. Gottlob/E. Grandjean/K. Seyr (Eds.): Computer Science Logic. Proceedings 1998, Springer-Verlag 1999
-G. Gottlob/E. Grandjean/K. Seyr (Eds.): Computer Science Logic. Proceedings 1998, Springer-Verlag 1999