- LNCS832
- -E. Börger/Y. Gurevich/K. Meinke (Eds.): Computer Science Logic. Proceedings 1993, Springer-Verlag 1994
Acronyms. 2013.
Acronyms. 2013.
LNCS832 — E. Börger/Y. Gurevich/K. Meinke (Eds.): Computer Science Logic. Proceedings 1993, Springer Verlag 1994 … Acronyms von A bis Z