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 - Autexier, Serge; Campbell, John; Rubio, Julio; Sorge, Volker; Suzuki, Masakazu; Wiedijk, Freek (Springer Berlin Heidelberg, 2008)