Вы здесь
Intelligent Computer Mathematics: Proc./11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Held as Part of CICM 2012, Bremen, Germany, July 2012