國立臺灣師範大學資訊教育研究所Chang, Kuo-EnLin, H. Z.2014-10-302014-10-301993-12-01http://rportal.lib.ntnu.edu.tw/handle/20.500.12235/34403Intelligent computer-aided symbolic-calculation tutoring system