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]
Abstract is missing.