Ebook: Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings
- Genre: Mathematics // Computational Mathematics
- Tags: Artificial Intelligence (incl. Robotics), Symbolic and Algebraic Manipulation, Numeric Computing, Discrete Mathematics in Computer Science, Mathematical Logic and Formal Languages
- Series: Lecture Notes in Computer Science 3249 : Lecture Notes in Artificial Intelligence
- Year: 2004
- Publisher: Springer-Verlag Berlin Heidelberg
- City: Berlin; New York
- Edition: 1
- Language: English
- djvu
This book constitutes the refereed proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2004, held in Linz, Austria in September 2004.
The 17 revised full papers and 4 revised short papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers are devoted to all current aspects in the area of symbolic computing and AI: mathematical foundations, implementations, and applications in industry and academia.
This book constitutes the refereed proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2004, held in Linz, Austria in September 2004.
The 17 revised full papers and 4 revised short papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers are devoted to all current aspects in the area of symbolic computing and AI: mathematical foundations, implementations, and applications in industry and academia.