簡易檢索 / 詳目顯示
| 研究生： |
胡大雄 HU,DA-XIONG |
|---|---|
| 論文名稱： |
自動定理證明方法之平均狀況分析與研究 |
| 指導教授： |
李家同
LI,JIA-TONG 唐傳義 TANG,CHUAN-YI |
| 口試委員: | |
| 學位類別： |
博士 Doctor |
| 系所名稱： |
電機資訊學院 - 資訊工程學系 Computer Science |
| 畢業學年度： | 79 |
| 語文別： | 中文 |
| 相關次數： | 點閱：1 下載：0 |
| 分享至: |
| 查詢本校圖書館目錄 查詢臺灣博碩士論文知識加值系統 勘誤回報 |
全文公開日期 本全文未授權公開 (校內網路)全文公開日期 本全文未授權公開 (國家圖書館：臺灣博碩士論文系統)