Intelligent computer mathematics : 16th symposium, Calculemus 2009 ; 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6-12, 2009 ; proceedings
Algebra Knowledge management Logic, Symbolic and mathematical Mathematical analysis sähkökirjat
Springer
2009
EISBN 9783642026140
