項潔2006-07-252018-07-052006-07-252018-07-051998http://ntur.lib.ntu.edu.tw//handle/246246/8305zh-TW國立臺灣大學資訊工程學系暨研究所布爾環的理論與應用研究(I)report