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