Search: C30
[1]Granularity-Adaptive Proof Presentation (Marvin Schiller, Christoph Benzmüller), In 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, UK, IOS Press, Frontiers in Artificial Intelligence and Applications, volume 200, pp. 599-601, 2009. (Preprint: [bibtex]