- LNCS449
- -M. E. Stickel (Ed.): 10th International Conference on Automated Deduction, Proceedings 1990, Springer-Verlag 1990 (Subseries LNAI)
Acronyms. 2013.
LNCS449
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS449 — M. E. Stickel (Ed.): 10th International Conference on Automated Deduction, Proceedings 1990, Springer Verlag 1990 (Subseries LNAI) … Acronyms von A bis Z
