Acronyms von A bis Z
LNCS1360
-D. Wang (Ed.): Automated Deduction in Geometry. Proceedings 1996, Springer-Verlag 1998. (Subseries LNAI)
-D. Wang (Ed.): Automated Deduction in Geometry. Proceedings 1996, Springer-Verlag 1998. (Subseries LNAI)