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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Campbell, John A. (Editor, http://id.loc.gov/vocabulary/relators/edt), Roanes-Lozano, Eugenio (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Edition: 1st ed. 2001.
• Series: Lecture Notes in Artificial Intelligence ; 1930
• Subjects: Artificial intelligence.; Computer science-Mathematics.; Mathematical logic.; Algorithms.; Artificial Intelligence.; Symbolic and Algebraic Manipulation.; Mathematical Logic and Formal Languages.
• Physical Description: X, 258 p. online resource.
• ISBN: 9783540449904
• DOI: 10.1007/3-540-44990-6