External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton, editors, 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. Volume 6167 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Conference: Calculemus2010

Editors

Serge Autexier

This author has not been identified. Look up 'Serge Autexier' in Google

Jacques Calmet

This author has not been identified. Look up 'Jacques Calmet' in Google

David Delahaye

This author has not been identified. It may be one of the following persons: Look up 'David Delahaye' in Google

Patrick D. F. Ion

This author has not been identified. Look up 'Patrick D. F. Ion' in Google

Laurence Rideau

This author has not been identified. Look up 'Laurence Rideau' in Google

Renaud Rioboo

This author has not been identified. Look up 'Renaud Rioboo' in Google

Alan P. Sexton

This author has not been identified. Look up 'Alan P. Sexton' in Google
runs on