- LNCS1249
- -W. McCune (Ed.): Automated Deduction - CADE-14. Proceedings, Springer-Verlag 1997 (Subseries LNAI)
Acronyms. 2013.
LNCS1249
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS1249 — W. McCune (Ed.): Automated Deduction CADE 14. Proceedings, Springer Verlag 1997 (Subseries LNAI) … Acronyms von A bis Z
