Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conferences AISC 2002 and Calculemus 2002 : Marseille, France, July 1-5, 2002 : proceedings - Calmet, Jacques, 1941- (Lecture notes in computer science, 2002)