研發處: 研究計畫 (國科會)

學年 84
學期 1
計畫案開始日期 1995-08-01
計畫案結束日期 1996-07-31
計畫主持人姓名 鍾興臺
共同主持人姓名一 洪文斌
共同主持人姓名二
共同主持人姓名三
計畫中文名稱 一個符號近以推理系統形式化之研究與製作