項潔2006-07-252018-07-052006-07-252018-07-052004http://ntur.lib.ntu.edu.tw//handle/246246/8539application/pdf2693787 bytesapplication/pdfzh-TW國立臺灣大學資訊工程學系暨研究所運用命題邏輯解決數學問題之搜尋方法研究(3/3)reporthttp://ntur.lib.ntu.edu.tw/bitstream/246246/8539/1/922213E002005.pdf