Intelligent computer mathematics : 10th International conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International conference, MKM 2010, Paris, France, July 5-10, 2010: proceedings / ed. S. Autexier [et al.], 2010 r=on-line. - Текст : электронный.
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 / ed. S. Autexier [et al.], 2008 r=on-line. - Текст : электронный.