Artificial intelligence and symbolic mathematical computing International Conference AISMC-1, Karlsruhe, Germany, August 3 - 6, 1992 ; proceedings (Springer, 1993)