台大資訊工程學研究所

Overview

Works:	10 works in 3 publications in 1 languages

Titles

收臉型自動推論方法=contraction-based automated deduction methods by: 台大資訊工程學研究所; 項潔 (Microfilm)

推理系統的研究與製作=theory of reasoning and its implementations by: 台大資訊工程學研究所; 林一鵬 (Microfilm)

電腦視覺自動檢測系統 by: 傅楸善; 台大資訊工程學研究所 (Microfilm)