Acronyms von A bis Z
LNCS737
-J. Calmet/J.A. Campbell (Eds.): Artificial Intelligence and Symbolic Mathematical Computing, Proceedings 1992, Springer-Verlag 1993
-J. Calmet/J.A. Campbell (Eds.): Artificial Intelligence and Symbolic Mathematical Computing, Proceedings 1992, Springer-Verlag 1993