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