- LNCS230
- -J. H. Siekmann (Ed.): 8th International Conference on Automated Deduction. Proceedings, Springer-Verlag 1986
Acronyms. 2013.
LNCS230
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS230 — J. H. Siekmann (Ed.): 8th International Conference on Automated Deduction. Proceedings, Springer Verlag 1986 … Acronyms von A bis Z
