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