An Intelligent Tutoring System with Variable Levels of Instructional Support for Instructing Natural Deduction
An Intelligent Tutoring System with Variable Levels of Instructional Support for Instructing Natural Deduction
复制标题
具有不同级别教学支持的自然演绎智能辅导系统
DOI：
10.1527/tjsai.29.148
复制
发表时间：
2014
影响因子：
--
通讯作者：
R.
中科院分区：
文献类型：
--
作者：
Miwa;K.;Terai;H.;Kanzaki;N.;& Nakaike;R.
