Artificial Intelligence and Symbolic Computation 7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Buchberger, Bruno (Editor, http://id.loc.gov/vocabulary/relators/edt), Campbell, John A. (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
• Edition: 1st ed. 2004.
• Series: Lecture Notes in Artificial Intelligence ; 3249
• 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.