莊志洋李學養2006-07-252018-07-052006-07-252018-07-051994http://ntur.lib.ntu.edu.tw//handle/246246/8135zh-TW國立臺灣大學資訊工程學系暨研究所侷限式邏輯推理法在智慧型電腦輔助數理教學上之應用report