Artificial Intelligence, Automated Reasoning, and Symbolic Computation Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings - Calmet, Jacques; Calmet, Jacques; Benhamou, Belaid; Benhamou, Belaid; Caprotti, Olga; Caprotti, Olga; Henocque, Laurent; Henocque, Laurent; Sorge, Volker; Sorge, Volker (Springer Berlin Heidelberg : Imprint: Springer, 2002)