Artificial intelligence and symbolic mathematical computing : proceedings - Calmet Jacques; International Conference on Artificial Intelligence and Symbolic Mathematical Computing(1st : 1992 : Germany ); International Conference on Artificial Intelligence and Symbolic Mathematical Computing 1st , Germany 1992 (Berlin Springer Verlag, 1993)
Keywords: Artificial intelligence; Symbolic mathematical computation