項潔2006-07-252018-07-052006-07-252018-07-052001http://ntur.lib.ntu.edu.tw//handle/246246/8467application/pdf36224 bytesapplication/pdfzh-TW國立臺灣大學資訊工程學系暨研究所在命題邏輯推理方法中去除多餘性的研究與應用(2/2)reporthttp://ntur.lib.ntu.edu.tw/bitstream/246246/8467/1/892218E002037.pdf