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. : 10th international conference on artificial intelligence and symbolic computation : 17th symposium on the integration of symbolic computation and mechanised reasoning : 9th international conference on mathematical knowledge management : AISC/Calculemus/MKM 2010 : Jul 2010, Paris, France. (Lecture Notes in Computer Science ; 6167. Lecture Notes in Artificial Intelligence)
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. : 10th international conference on artificial intelligence and symbolic computation : 17th symposium on the integration of symbolic computation and mechanised reasoning : 9th international conference on mathematical knowledge management : AISC/Calculemus/MKM 2010 : Jul 2010, Paris, France.
(Lecture Notes in Computer Science ; 6167. Lecture Notes in Artificial Intelligence)