許清琦2006-07-252018-07-052006-07-252018-07-051994http://ntur.lib.ntu.edu.tw//handle/246246/8141zh-TW國立臺灣大學資訊工程學系暨研究所限制導引推理方法之研究report