@article{J19,
  Author =	 {Marvin Schiller and Dominik Dietrich and Christoph
                  Benzm{\"u}ller},
  Issn =	 {1589-7389},
  Journal =	 {Teaching Mathematics and Computer Science},
  Keywords =	 {own, Proof Presentation, DIALOG, Natural Language
                  Dialog, Proof Assistants, Machine Learning, Tutoring
                  Systems},
  Number =	 2,
  Pages =	 {325-343},
  Title =	 {Proof Step Analysis for Proof Tutoring -- A Learning
                  Approach to Granularity},
  url_preprint = {http://christoph-benzmueller.de/papers/J19.pdf},
  url =		 {http://tmcs.math.unideb.hu/load_doc.php?p=142&t=doc},
  Volume =	 6,
  Year =	 2008,
}

{"_id":"qTuoer2KkZpfshA5T","bibbaseid":"schiller-dietrich-benzmller-proofstepanalysisforprooftutoringalearningapproachtogranularity-2008","author_short":["Schiller, M.","Dietrich, D.","Benzmüller, C."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Marvin"],"propositions":[],"lastnames":["Schiller"],"suffixes":[]},{"firstnames":["Dominik"],"propositions":[],"lastnames":["Dietrich"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"issn":"1589-7389","journal":"Teaching Mathematics and Computer Science","keywords":"own, Proof Presentation, DIALOG, Natural Language Dialog, Proof Assistants, Machine Learning, Tutoring Systems","number":"2","pages":"325-343","title":"Proof Step Analysis for Proof Tutoring – A Learning Approach to Granularity","url_preprint":"http://christoph-benzmueller.de/papers/J19.pdf","url":"http://tmcs.math.unideb.hu/load_doc.php?p=142&t=doc","volume":"6","year":"2008","bibtex":"@article{J19,\n Author =\t {Marvin Schiller and Dominik Dietrich and Christoph\n Benzm{\\\"u}ller},\n Issn =\t {1589-7389},\n Journal =\t {Teaching Mathematics and Computer Science},\n Keywords =\t {own, Proof Presentation, DIALOG, Natural Language\n Dialog, Proof Assistants, Machine Learning, Tutoring\n Systems},\n Number =\t 2,\n Pages =\t {325-343},\n Title =\t {Proof Step Analysis for Proof Tutoring -- A Learning\n Approach to Granularity},\n url_preprint = {http://christoph-benzmueller.de/papers/J19.pdf},\n url =\t\t {http://tmcs.math.unideb.hu/load_doc.php?p=142&t=doc},\n Volume =\t 6,\n Year =\t 2008,\n}\n\n","author_short":["Schiller, M.","Dietrich, D.","Benzmüller, C."],"key":"J19","id":"J19","bibbaseid":"schiller-dietrich-benzmller-proofstepanalysisforprooftutoringalearningapproachtogranularity-2008","role":"author","urls":{" preprint":"http://christoph-benzmueller.de/papers/J19.pdf","Paper":"http://tmcs.math.unideb.hu/load_doc.php?p=142&t=doc"},"keyword":["own","Proof Presentation","DIALOG","Natural Language Dialog","Proof Assistants","Machine Learning","Tutoring Systems"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf"],"keywords":["own","proof presentation","dialog","natural language dialog","proof assistants","machine learning","tutoring systems"],"search_terms":["proof","step","analysis","proof","tutoring","learning","approach","granularity","schiller","dietrich","benzmüller"],"title":"Proof Step Analysis for Proof Tutoring – A Learning Approach to Granularity","year":2008}