- LNCS1421
- -C. Kirchner/H. Kirchner (Eds.): Automated Deduction - CADE-15. Proceedings, Springer-Verlag 1998 (Subseries LNAI)
Acronyms. 2013.
LNCS1421
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS1421 — C. Kirchner/H. Kirchner (Eds.): Automated Deduction CADE 15. Proceedings, Springer Verlag 1998 (Subseries LNAI) … Acronyms von A bis Z
