|
English
|
正體中文
|
简体中文
|
總筆數 :0
|
|
造訪人次 :
51536326
線上人數 :
923
教育部委託研究計畫 計畫執行:國立臺灣大學圖書館
|
|
|
"jieh hsiang"的相關文件
顯示項目 111-120 / 183 (共19頁) << < 7 8 9 10 11 12 13 14 15 16 > >> 每頁顯示[10|25|50]項目
| 臺大學術典藏 |
2018-09-10T04:52:11Z |
各國檔案數位化之探討
|
Jieh Hsiang; JIEH HSIANG; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T04:52:11Z |
收縮型自動推論方法
|
JIEH HSIANG; JIEH HSIANG; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T04:52:11Z |
92年度「資訊教育學門」專題研究計畫成果討論會
|
Jieh Hsiang; JIEH HSIANG; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T04:52:10Z |
臺灣歷史數位圖書館系統架構、功能需求分析研究計畫
|
Jieh Hsiang; JIEH HSIANG; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T04:52:10Z |
國家檔案數位化影像品質之研究
|
JIEH HSIANG; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T04:52:10Z |
各國檔案數位化之探討= A Survey of Digitization Methodologies of Archives
|
JIEH HSIANG; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T04:52:10Z |
可攜式字集資源架構-用以解決缺字問題
|
Jieh Hsiang; JIEH HSIANG; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T04:52:09Z |
A Category Theory Approach to Completion-Based Theorem Proving Strategies
|
Bonacina, M. P.;Hsiang, Jieh; Bonacina, M. P.; Hsiang, Jieh; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T04:52:09Z |
Distributed Deduction by Clause-Diffusion
|
Bonacina, M. P.;Hsiang, Jieh; Bonacina, M. P.; Hsiang, Jieh; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T04:52:09Z |
Distributed Deduction by Clause-Diffusion:the Aquarius Prover
|
Bonacina, P. B.;Hsiang, Jieh; Bonacina, P. B.; Hsiang, Jieh; JIEH HSIANG |
顯示項目 111-120 / 183 (共19頁) << < 7 8 9 10 11 12 13 14 15 16 > >> 每頁顯示[10|25|50]項目
|