項潔2006-07-252018-07-052006-07-252018-07-051996http://ntur.lib.ntu.edu.tw//handle/246246/8252zh-TW國立臺灣大學資訊工程學系暨研究所用０階邏輯中之推論方法解決數學問題report