- LNCS329
- -E. Börger/H. Kleine Büning/M.M. Richter (Eds.): CSL'87. 1st Workshop on Computer Science Logic, Proceedings 1987, Springer-Verlag 1988
Acronyms. 2013.
Acronyms. 2013.
LNCS329 — E. Börger/H. Kleine Büning/M.M. Richter (Eds.): CSL 87. 1st Workshop on Computer Science Logic, Proceedings 1987, Springer Verlag 1988 … Acronyms von A bis Z