Title: Intelligent Computer Mathematics 10th International Conference Aisc 2010 17th Symposium Calculemus 2010 And 9th International Conference Mkm 2010 Paris France July 510 2010 Proceedings
Subjects: Computer science, Artificial intelligence, Congresses, Algebra, Symbolic and mathematical Logic, Data processing, Mathematical analysis, Algebra, data processing, Computer networks, Data mining, Electronic data processing