Granularity-Adaptive Proof Presentation

Marvin Schiller, Christoph Benzmüller. Granularity-Adaptive Proof Presentation. In Vania Dimitrova, Riichiro Mizoguchi, Benedict du Boulay, Arthur C. Graesser, editors, Artificial Intelligence in Education: Building Learning Systems that Care: From Knowledge Representation to Affective Modelling, Proceedings of the 14th International Conference on Artificial Intelligence in Education, AIED 2009, July 6-10, 2009, Brighton. Volume 200 of Frontiers in Artificial Intelligence and Applications, pages 599-601, IOS Press, 2009. [doi]

Authors

Marvin Schiller

This author has not been identified. Look up 'Marvin Schiller' in Google

Christoph Benzmüller

This author has not been identified. Look up 'Christoph Benzmüller' in Google