Conference
Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK
Editors
Lange C; Aspinall D; Carette J; Davenport JH; Kohlhase A; Kohlhase M; Libbrecht P; Quaresma P; Rabe F; Sojka P
Series
CEUR Workshop Proceedings
Volume
1010
Publisher
CEUR-WS.org
Publication Date
2013
Conference proceedings
CICM Workshops