Granularity-Adaptive Proof Presentation (bibtex)
by Marvin Schiller, Christoph Benzmüller
Reference:
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. (Url (preprint): http://christoph-benzmueller.de/papers/C30.pdf)
Bibtex Entry:
@inproceedings{C30,
  Author =	 {Marvin Schiller and Christoph Benzm{\"u}ller},
  Booktitle =	 {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},
  Isbn =	 {978-1-60750-028-5},
  Keywords =	 {own, Proof Presentation, DIALOG, Natural Language
                  Dialog, Proof Assistants, Machine Learning, Tutoring
                  Systems},
  Pages =	 {599-601},
  Publisher =	 {IOS Press},
  Series =	 {Frontiers in Artificial Intelligence and
                  Applications},
  Title =	 {Granularity-Adaptive Proof Presentation},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/C30.pdf}},
  Volume =	 200,
  Year =	 2009,
}
Powered by bibtexbrowser