论文信息 - Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics - 字舞流文

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

Jacques Calmet | David Delahaye | Alan P. Sexton | Serge Autexier | Laurence Rideau | Renaud Rioboo | Patrick D. F. Ion | L. Rideau | J. Calmet | Patrick D. F. Ion | R. Rioboo | S. Autexier | D. Delahaye | A. Sexton