Herclito: Learning Environment to Teach Logic.

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

Browse the full PAAMS paper archive.