Acronyms von A bis Z
LNCS1683
-J. Flum/M. Rodrigüz-Artalejo (Eds.): Computer Science Logic. Proceedings, Springer-Verlag 1999
-J. Flum/M. Rodrigüz-Artalejo (Eds.): Computer Science Logic. Proceedings, Springer-Verlag 1999