João Carlos Gluz, Fabiane Penteado, Marcel Mossmann, Lucas Gomes, Rosa Vicari. A Student Model for Teaching Natural Deduction Based on a Prover That Mimics Student Reasoning. In Stefan Trausan-Matu, Kristy Elizabeth Boyer, Martha E. Crosby, Kitty Panourgia, editors, Intelligent Tutoring Systems - 12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. Proceedings. Volume 8474 of Lecture Notes in Computer Science, pages 482-489, Springer, 2014. [doi]
@inproceedings{GluzPMGV14, title = {A Student Model for Teaching Natural Deduction Based on a Prover That Mimics Student Reasoning}, author = {João Carlos Gluz and Fabiane Penteado and Marcel Mossmann and Lucas Gomes and Rosa Vicari}, year = {2014}, doi = {10.1007/978-3-319-07221-0_60}, url = {http://dx.doi.org/10.1007/978-3-319-07221-0_60}, researchr = {https://researchr.org/publication/GluzPMGV14}, cites = {0}, citedby = {0}, pages = {482-489}, booktitle = {Intelligent Tutoring Systems - 12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. Proceedings}, editor = {Stefan Trausan-Matu and Kristy Elizabeth Boyer and Martha E. Crosby and Kitty Panourgia}, volume = {8474}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-07220-3}, }