by International Conference on Artificial Intelligence and Symbolic Mathematical Computation (6th 2002 Marseille, France)
AISC 2002, the 6th international conference on Arti?cial Intelligence and S- bolic Computation, and Calculemus 2002, the 10th symposium on the Integ- tion of Symbolic Computation and Mechanized Rea…