*Result*: Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
*Author/editor-in-chief*:
*Corporate*:
*Publication*:
Berlin, Heidelberg : Springer-Verlag, 2010
*Distribution*:
New York, NY : ACM
*Physical description scale*:
1 Online-Ressource (469 pages)
*Format*:
*Language*:
*eng*
*Notes*:
Title from The ACM Digital Library
*ISBN*:
3642141277,9783642141270 (Sekundärausgabe)