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