Artificial Intelligence and Symbolic Computation International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Campbell, John A. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Roanes-Lozano, Eugenio (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Έκδοση: 1st ed. 2001.
• Σειρά: Lecture Notes in Artificial Intelligence ; 1930
• Θέματα: Artificial intelligence.; Computer science-Mathematics.; Mathematical logic.; Algorithms.; Artificial Intelligence.; Symbolic and Algebraic Manipulation.; Mathematical Logic and Formal Languages.