Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings - Pfalzgraf, Jochen; Calmet, Jacques; Campbell, J. A., 1940- (Lecture notes in computer science, 1996)