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., (Lecture notes in computer science ;)