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