%0 Conference Paper %1 journals/corr/abs-1202-4828 %A Autexier, Serge %A Dietrich, Dominik %A Schiller, Marvin R. G. %B THedu %D 2011 %E Quaresma, Pedro %E Back, Ralph-Johan %K %P 1-28 %T Towards an Intelligent Tutor for Mathematical Proofs %U http://dblp.uni-trier.de/db/series/eptcs/eptcs79.html#abs-1202-4828 %V 79

@inproceedings{journals/corr/abs-1202-4828, added-at = {2023-12-14T15:17:46.000+0100}, author = {Autexier, Serge and Dietrich, Dominik and Schiller, Marvin R. G.}, biburl = {https://www.bibsonomy.org/bibtex/29b54b97760a7af15f86bd51867079258/admin}, booktitle = {THedu}, crossref = {journals/corr/abs-1202-4535}, editor = {Quaresma, Pedro and Back, Ralph-Johan}, ee = {http://arxiv.org/abs/1202.4828}, interhash = {e9633108ca35adcaf23e2cc4722b3504}, intrahash = {9b54b97760a7af15f86bd51867079258}, keywords = {}, pages = {1-28}, series = {EPTCS}, timestamp = {2023-12-14T15:17:46.000+0100}, title = {Towards an Intelligent Tutor for Mathematical Proofs}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs79.html#abs-1202-4828}, volume = 79, year = 2011 }