台大資訊工程學研究所

收臉型自動推論方法=contraction-based automated deduction methods …で: 台大資訊工程學研究所; 項潔 (マイクロフィルム)

推理系統的研究與製作=theory of reasoning and its implementations …で: 台大資訊工程學研究所; 林一鵬 (マイクロフィルム)

電腦視覺自動檢測系統 …で: 傅楸善; 台大資訊工程學研究所 (マイクロフィルム)