Serge Autexier John Campbell Julio Rubio Volker Sorge Masakazu Suzuki Freek Wiedijk 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 5144 2008 978-3-540-85109-7 AISC/MKM/Calculemus Lecture Notes in Computer Science Springer db/conf/aisc/aisc2008.html