Publications

Displaying results 1 to 2 of 2

In: THedu'11, Workshop associated to CADE-23. THedu - CTP Components for Educational Software (ThEdu-11) Conference on Automated Deduction July 31 Wroclaw Poland Pages 11-15 CISUC Technical Report 2011/001 University of Coimbra, Portugal 7/2011.

To the publication

In: Proceedings of Calculemus/MKM 2011. Conferences on Intelligent Computer Mathematics (CICM-11) 10th International Conference on Mathematical Knowledge Management Conference on Intelligent Computer Mathematics July 18-23 Bertonori Italy Pages 164-179 LNAI 6824 Springer-Verlag Berlin Heidelberg 7/2011.

To the publication

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz