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 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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

This author has not been identified. Look up 'Andrea Kohlhase' in GoogleThis author has not been identified. Look up 'Paul Libbrecht' in GoogleThis author has not been identified. Look up 'Bruce R. Miller' in GoogleThis author has not been identified. Look up 'Adam Naumowicz' in GoogleThis author has not been identified. It may be one of the following persons:

Walther Neuper

Look up 'Walther Neuper' in GoogleThis author has not been identified. Look up 'Pedro Quaresma' in GoogleThis author has not been identified. Look up 'Frank Wm. Tompa' in GoogleThis author has not been identified. Look up 'Martin Suda 0001' in Google

runs on WebDSL