- LNCS1104
- -M.A. McRobble/J-K. Slaney (Eds.): Automated Deduction - CADE-13. Springer-Verlag Proceedings 1996 (Subseries LNAI)
Acronyms. 2013.
LNCS1104
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS1104 — M.A. McRobble/J K. Slaney (Eds.): Automated Deduction CADE 13. Springer Verlag Proceedings 1996 (Subseries LNAI) … Acronyms von A bis Z
