您的瀏覽器不支援 JavaScript喔，請開啟 Javascript 功能。
跳到主要內容
首頁
淡江大學
網站導覽
登入
繁體中文
繁體中文
ENGLISH
學術成果
產學合作
工程認證
跨域學習
在校學生
AI系學會
最新消息
課程及選課訊息
系所公告
獎助學金公告
競賽訊息
獲獎榮耀
徵才資訊
其他訊息
招生資訊
大學部
淡江報考資訊
系所簡介
系所沿革
教育目標
大學部
核心能力
設備資源
系所位置
系所成員
歷屆系主任
本系教師
行政人員
課程資訊
大學部
大學部課程地圖
大學部修業規定
大學部實驗課程專區
輔系及雙主修
彈性學制
學分學程
高中生專區
AI系懶人包
獎學金與工讀機會
大學生活
專業師資群
獲獎榮耀
給家長的一封信
首頁
系所成員
本系教師
:::
本系教師
歷屆系主任
本系教師
行政人員
年度
84
名稱
一個符號近以推理系統形式化之研究與製作
摘要
一個符號近以推理系統形式化之研究與製作
全部作者
鍾興臺; 洪文斌
發表日期
1996-01
備註
研究報告
?????