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 - AISC 2008 (2008 : Birmingham, England); Autexier, Serge; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008)
Keywords: Mathematics -- Data processing -- Congresses; Algebra -- Data processing -- Congresses