簡易檢索 / 詳目顯示
| 研究生： |
趙立人 Chao, Li Jen |
|---|---|
| 論文名稱： |
從正例中利用論元約束及述語搜尋的設計來導引半遞迴邏輯程式的合成 Using Argument-Binding and Predicate Searching Sch emes to Guide Partially Recursive Logic Program Sy nthesis from Positive Examples |
| 指導教授： |
蘇豐文
Soo Von Wen |
| 口試委員: | |
| 學位類別： |
碩士 Master |
| 系所名稱： |
電機資訊學院 - 資訊工程學系 Computer Science |
| 畢業學年度： | 82 |
| 語文別： | 中文 |
| 相關次數： | 點閱：1 下載：0 |
| 分享至: |
| 查詢本校圖書館目錄 查詢臺灣博碩士論文知識加值系統 勘誤回報 |
全文公開日期 本全文未授權公開 (校內網路)全文公開日期 本全文未授權公開 (國家圖書館：臺灣博碩士論文系統)