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
Algebra Knowledge management Logic, Symbolic and mathematical Mathematical analysis sähkökirjat
Springer
2010
EISBN 9783642141287
