-J. Caimet/J.A. Camphell/J. Pfalzgraf (Eds.): Artificial Intelligence and Symbolic Mathemaiical Computation. Proceedings 1996, Springer-Verlag 1996