林一鵬2006-07-252018-07-052006-07-252018-07-051997http://ntur.lib.ntu.edu.tw//handle/246246/8265zh-TW國立臺灣大學資訊工程學系暨研究所助理型軟體系統之研發與應用─子計畫一：助理型軟體之邏輯系統（Ⅰ）report