Artificial Intelligence, Automated Reasoning, and Symbolic Computation Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Calmet, Jacques (Editor, http://id.loc.gov/vocabulary/relators/edt), Benhamou, Belaid (Editor, http://id.loc.gov/vocabulary/relators/edt), Caprotti, Olga (Editor, http://id.loc.gov/vocabulary/relators/edt), Henocque, Laurent (Editor, http://id.loc.gov/vocabulary/relators/edt), Sorge, Volker (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
Edition:	1st ed. 2002.
Series:	Lecture Notes in Artificial Intelligence ; 2385
Subjects:	Artificial intelligence. Computer science-Mathematics. Numerical analysis. Mathematical logic. Artificial Intelligence. Symbolic and Algebraic Manipulation. Numeric Computing. Discrete Mathematics in Computer Science. Mathematical Logic and Formal Languages.
Online Access:	Full Text via HEAL-Link

Similar Items