Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics - Autexier, Serge; Calmet, Jacques; Delahaye, David; Ion, Patrick D. F.; Kanade, Takeo; Rideau, Laurence; Rioboo, Renaud; Sexton, Alan P.; Association for Computing Machinery-Digital Library; Ion, P. D. F.; Sexton, Alan (Springer Berlin Heidelberg, 2010)
Keywords: Information Technology -- Artificial Intelligence