|
English
|
正體中文
|
简体中文
|
总笔数 :0
|
|
造访人次 :
51322137
在线人数 :
686
教育部委托研究计画 计画执行:国立台湾大学图书馆
|
|
|
"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]项目
|