Intelligent Computer Mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Proceedings /
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Livre |
| Langue: | anglais |
| Publié: |
Berlín, Alemania :
Springer,
2012, c2012
|
| Collection: | (Lecture Notes in Computer Science)
|
| Accès en ligne: | Ver documento en línea |
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires: Intelligent Computer Mathematics :
- Intelligent Computer Mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings /
- Entertainment Computing - ICEC 2012 : 11th International Conference, ICEC 2012, Bremen, Germany, September 26-29, 2012, Proceedings /
- Intelligent Computer Mathematics : 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings /
- Mathematics of Program Construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings /
- Text, Speech and Dialogue : 15th International Conference, TSD 2012, Brno, Czech Republic, September 3-7, 2012, Proceedings /
- Graph Transformation : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings /