loading...

ThEdu

THedu

ThEdu Proceedings 

ThEdu'11 - Proceedings
Post-Proceedings of the First Workshop on CTP Components for Educational Software, Wrocław, Poland, 31st July 2011.  EPTCS  79, 2012.
ThEdu'13 - Proceedings
Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work  in Progress at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2013), Bath, UK, July 9 - 10, 2013. CEUR-WS, 1010.
ThEdu'14 - Proceedings
 Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014. CEUR-WS, 1186.
ThEdu'15 - Proceedings
Proceedings 4th International Workshop on Theorem proving components for Educational software (ThEdu'15).  July 15, 2015, Washington DC, USA CISUC TR2016-01.
ThEdu'16 - Proceedings
Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 25-29, 2016. CEUR-WS, 1785.
ThEdu'17 - Proceedings
Proceedings 6th International Workshop on Theorem proving components for Educational software (ThEdu'17), Gothenburg Sweden, 6 August 2017, EPTCS 267, 2nd March 2018.