Andrea Kohlhase, Paul Libbrecht, Bruce R. Miller, Adam Naumowicz, Walther Neuper, Pedro Quaresma, Frank Wm. Tompa, Martin Suda 0001, editors, Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 co-located with the 9th Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 25-29, 2016. Volume 1785 of CEUR Workshop Proceedings, CEUR-WS.org, 2017. [doi]
Conference: CIKM2017
@proceedings{cikm-2016fm4m,
title = {Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 co-located with the 9th Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 25-29, 2016},
year = {2017},
url = {http://nbn-resolving.de/urn:nbn:de:0074-1785-C},
researchr = {https://researchr.org/publication/cikm-2016fm4m},
cites = {0},
citedby = {0},
booktitle = {Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 co-located with the 9th Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 25-29, 2016},
conference = {CIKM},
editor = {Andrea Kohlhase and Paul Libbrecht and Bruce R. Miller and Adam Naumowicz and Walther Neuper and Pedro Quaresma and Frank Wm. Tompa and Martin Suda 0001},
volume = {1785},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}