台大資訊工程學系

管式宅量計算模型之建立及一些管式向量演算法之設計= establishment of pipelined vector computational model... by: 台大資訊工程學系; 陳俊良 (微縮資料)

自動化製造之決策監控資訊系統之研究:子計畫(三) -智慧型無人自 動搬運車系統=intellignet automated guided vehicle system by: 台大資訊工程學系; 許永真 (微縮資料)

模榮邏輯推論研究(ii)=studies in modal logic programming by: 台大資訊工程學系; 林一鵬 (微縮資料)

中文時間語意解釋之研究(i)=a study on temporal interpretationfor chinese sentences by: 台大資訊工程學系; 李秀惠; 林一鵬 (微縮資料)