Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings - AISC 2002 (2002 : Marseille, France); Calmet, Jacques; Calculemus 2000 (2002 : Marseille, France) (Berlin ; New York : Springer, 2002)
Includes bibliographical references and index.
Keywords: Artificial intelligence -- Congresses; Logic, Symbolic and mathematical -- Congresses; Automatic theorem proving -- Congresses