Login / Signup
An Intelligent Tutoring System with Variable Levels of Instructional Support for Instructing Natural Deduction.
Kazuhisa Miwa
Hitoshi Terai
Nana Kanzaki
Ryuichi Nakaike
Published in:
Inf. Media Technol. (2014)
Keyphrases
</>
natural deduction
end users
intelligent learning environments
pedagogical scenarios
learning process
inference rules
collaborative problem solving