-J. Caimet/J.A. Campbell (Eds.): Integrating Symbolic Mathematical Computation and Artificial Intelligence. Proceedings 1994, Springer-Verlag 1995