Fabiane Penteado

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Intuitionistic Logic

Student Modelling

Natural Deduction

Teaching Strategies

Top Venues

Intelligent Tutoring Systems

Publications

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. Intelligent Tutoring Systems (2014)