Original language | English |
---|---|
Publisher | Springer |
Volume | 6167 |
ISBN (Print) | 9783642141270 |
DOIs | |
Publication status | Published - 1 Jan 2010 |
Intelligent Computer Mathematics: Proceedings of the 10th International Conference AISC 2010, 17th Symposium Calculemus 2010, and 9th International Conference MKM 2010, Lecture Notes in Computer Science
S Autexier, J Calmet, D Delahaye, PDF Ion, L Rideau, R Rioboo, Alan Sexton
Research output: Book/Report › Book