You are about to access our book library "Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, Aisc 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings full version" .