林一鵬2009-04-202018-07-052009-04-202018-07-051991http://ntur.lib.ntu.edu.tw//handle/246246/151499en-US自動推論研究(二)report