| Publication type: |
Conference Proceedings |
| Editor: |
Serge Autexier; Jacques Calmet; David Delahaye; Patrick D. F. Ion; Laurence Rideau; Renaud Rioboo; Alan P. Sexton |
| Title: |
Intelligent Computer Mathematics 2010 (CICM 2010). Conferences on Intelligent Computer Mathematics (CICM-10), 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010,, located at Conferences on |
| Volume: |
6167 |
| Series: |
LNCS, LNCS |
| Year published: |
2010 |
| Publisher: |
Springer-Verlag Berlin Heidelberg |
| Abstract: |
The proceedings of the COnferences on Intelligent Computer Mathematics |
| ISBN: |
978-3-642-14127-0 |
| Internet: |
http://dx.doi.org/10.1007/978-3-642-14128-7 |
| Status: |
Reviewed |
| Last updated: |
09. 08. 2010 |
|
 |
