Artificial intelligence and symbolic mathematical computing International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. - Calmet, Jacques; Campbell, John A. 1940- (Lecture notes in computer science, 1993)