Acronyms von A bis Z
LNCS1421
-C. Kirchner/H. Kirchner (Eds.): Automated Deduction - CADE-15. Proceedings, Springer-Verlag 1998 (Subseries LNAI)
-C. Kirchner/H. Kirchner (Eds.): Automated Deduction - CADE-15. Proceedings, Springer-Verlag 1998 (Subseries LNAI)