Provider: Japan Science and Technology Agency Database: J-STAGE Content:text/plain; charset="utf-8" TY - JOUR TI - An Intelligent Tutoring System with Variable Levels of Instructional Support for Instructing Natural Deduction TI - AU - Miwa,Kazuhisa AU - Terai,Hitoshi AU - Kanzaki,Nana AU - Nakaike,Ryuichi JO - Transactions of the Japanese Society for Artificial Intelligence VL - 29 IS - 1 SP - 148 EP - 156 PY - 2014 DO - 10.1527/tjsai.29.148 ER -