Artificial intelligence, automated reasoning, and symbolic computation
Subtitle: joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings
By: Jacques Calmet ... [et al.] (eds.).
Contributors: Calmet, Jacques.; Calculemus 2000 (2002 : Marseille, France)
Series: Lecture notes in computer science -- 2385. -- Lecture notes in artificial intelligence; Lecture notes in computer science -- 2385.; Lecture notes in computer science
Publisher: Springer
Published: 2002
Place of publication: Berlin; New York
Language: eng
Number of pages: 341
Subjects: Artificial intelligence -- Congresses; Logic, Symbolic and mathematical -- Congresses; Automatic theorem proving -- Congresses
Genres: Congresses
Notes: Includes bibliographical references and index.