如何實作─以Prolog為基礎的証明機,以利Systolic away 的設計
學年 84
學期 1
申請日期 1995-08-01
得獎人員 施國琛 Timothy K. Shih
得獎論文名稱 如何實作─以Prolog為基礎的証明機,以利Systolic away 的設計
得獎等級 3
所屬類別 2
出版者
研究獎勵類別 1
備註
發表日期 1995-01-01