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.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια