- LNCS1092
- -H. Kleine Büning (Ed.): Computer Science Logic. Proceedings 1995, Springer-Verlag 1996
Acronyms. 2013.
Acronyms. 2013.
LNCS1092 — H. Kleine Büning (Ed.): Computer Science Logic. Proceedings 1995, Springer Verlag 1996 … Acronyms von A bis Z