An Intelligent Tutoring System for Teaching FOL Equivalence.

Foteini Grivokostopoulou, Isidoros Perikos, Ioannis Hatzilygeroudis

Browse the full AIED paper archive.