期刊論文
| 學年 | 83 |
|---|---|
| 學期 | 2 |
| 出版（發表）日期 | 1995-02-01 |
| 作品名稱 | On the construction of a prolog-based verifier for systolic array designs |
| 作品名稱（其他語言） | |
| 著者 | 施國琛; Shih, Timothy K.; Ling, Nam; Davis, Ruth; Lin, Fuyau |
| 單位 | 淡江大學資訊工程學系 |
| 出版者 | Wiley-Blackwell |
| 著錄名稱、卷期、頁數 | Computational intelligence 11(1), pp.172-221 |
| 摘要 | |
| 關鍵字 | |
| 語言 | en |
| ISSN | 0824-7935 |
| 期刊性質 | 國外 |
| 收錄於 | |
| 產學合作 | |
| 通訊作者 | |
| 審稿制度 | 否 |
| 國別 | USA |
| 公開徵稿 | |
| 出版型式 | ,電子版 |
| 相關連結 |
機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/45442 ) |