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

• 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.