Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics

MLA

Autexier, Serge, et al. Proceedings of the 10th Asic and 9th Mkm International Conference, and 17th Calculemus Conference On Intelligent Computer Mathematics. Springer Berlin Heidelberg, 2010.

APA

Autexier, S., Calmet, J., Delahaye, D., Ion, P. D. F, Kanade, T., Rideau, L., Rioboo, R., Sexton, A. P, Ion, P. D. F, & Sexton, A. (2010). Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics. Springer Berlin Heidelberg.

Chicago

Autexier, Serge, Jacques Calmet, David Delahaye, Patrick D. F Ion, Takeo Kanade, Laurence Rideau, Renaud Rioboo, Alan P Sexton, P. D. F Ion, and Alan Sexton. Proceedings of the 10th ASIC and 9th MKM International Conference, and 17th Calculemus Conference On Intelligent Computer Mathematics. : Springer Berlin Heidelberg, 2010.