|
教師登入
回淡江大學
統計分析
研究獎勵
歷屆教師查詢
各院(系) 現任教師查詢
教師資料查詢
研發處: 研究計畫 (國科會)
鍾興臺 CHUNG HSING-TAI
個人網頁
一個符號近以推理系統形式化之研究與製作
學年
84
學期
1
計畫案開始日期
1995-08-01
計畫案結束日期
1996-07-31
計畫主持人姓名
鍾興臺
共同主持人姓名一
洪文斌
共同主持人姓名二
共同主持人姓名三
計畫中文名稱
一個符號近以推理系統形式化之研究與製作