Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers - Calmet, Jacques; Campbell, J. A., 1940- (Lecture notes in computer science ;, 1995)