Herclito: Intelligent Tutoring System for Logic.

Fabiane Flores Penteado Galafassi, Cristiano Galafassi, Rosa Maria Vicari, Joo Carlos Gluz

Browse the full PAAMS paper archive.