Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Subtitle: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings
Publisher: Springer London, Limited
Published: 2006
Language: eng
ISBN-13: 9783540454700
Subjects: Artificial intelligence; Logic, symbolic and mathematical; Automatic theorem proving