Development and Evaluation of an Intelligent Tutoring System for Teaching Natural Deduction.

Kazuhisa Miwa, Hitoshi Terai, Nana Kanzaki, Ryuichi Nakaike

Browse the full ICCE paper archive.