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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Calmet, Jacques (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Benhamou, Belaid (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Caprotti, Olga (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Henocque, Laurent (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Sorge, Volker (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
• Έκδοση: 1st ed. 2002.
• Σειρά: Lecture Notes in Artificial Intelligence ; 2385
• Θέματα: 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.