%0 Conference Paper %1 conf/its/GluzPMGV14 %A Gluz, João Carlos %A Penteado, Fabiane %A Mossmann, Marcel %A Gomes, Lucas %A Vicari, Rosa %B Intelligent Tutoring Systems %D 2014 %E Trausan-Matu, Stefan %E Boyer, Kristy Elizabeth %E Crosby, Martha E. %E Panourgia, Kitty %I Springer %K dblp %P 482-489 %T A Student Model for Teaching Natural Deduction Based on a Prover That Mimics Student Reasoning. %U http://dblp.uni-trier.de/db/conf/its/its2014.html#GluzPMGV14 %V 8474 %@ 978-3-319-07220-3

@inproceedings{conf/its/GluzPMGV14, added-at = {2017-05-21T00:00:00.000+0200}, author = {Gluz, João Carlos and Penteado, Fabiane and Mossmann, Marcel and Gomes, Lucas and Vicari, Rosa}, biburl = {https://www.bibsonomy.org/bibtex/23d87f1ba74500fd9cb2af235fd2d20da/dblp}, booktitle = {Intelligent Tutoring Systems}, crossref = {conf/its/2014}, editor = {Trausan-Matu, Stefan and Boyer, Kristy Elizabeth and Crosby, Martha E. and Panourgia, Kitty}, ee = {https://doi.org/10.1007/978-3-319-07221-0_60}, interhash = {fdffcc464b31ed89e9aa3ff060bd98a2}, intrahash = {3d87f1ba74500fd9cb2af235fd2d20da}, isbn = {978-3-319-07220-3}, keywords = {dblp}, pages = {482-489}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T12:34:50.000+0200}, title = {A Student Model for Teaching Natural Deduction Based on a Prover That Mimics Student Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/its/its2014.html#GluzPMGV14}, volume = 8474, year = 2014 }