Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings / [electronic resource] :
edited by Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
- v.: digital
- Lecture Notes in Computer Science, 5144 0302-9743 ; .
9783540851103
Computer science Computer Communication Networks Electronic data processing Algebra--Data processing Data mining Information systems Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Data Mining and Knowledge Discovery Information Systems Applications (incl.Internet) Symbolic and Algebraic Manipulation Numeric Computing Computer Communication Networks