|
English
|
正體中文
|
简体中文
|
总笔数 :2853524
|
|
造访人次 :
45231396
在线人数 :
768
教育部委托研究计画 计画执行:国立台湾大学图书馆
|
|
|
显示项目 1972676-1972685 / 2346460 (共234646页)
<< < 197263 197264 197265 197266 197267 197268 197269 197270 197271 197272 > >>
每页显示[10|25|50]项目
| 臺大學術典藏 |
2018-09-10T05:21:27Z |
Distributed Deduction by Clause-Diffusion:Distributed Contraction and the Aquarius Prover
|
Bonacina, M. P.;Hsiang, Jieh; Bonacina, M. P.; Hsiang, Jieh; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:21:27Z |
A Prolog Environment for Developing and Reasoning About Data Types
|
JIEH HSIANG; JIEH HSIANG; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:21:27Z |
Rewrite Techniques and Applications
|
Hsiang, Jieh; Hsiang, Jieh; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:21:27Z |
TeRSe:A Term Rewriting Theorem Prover
|
Hsiang, Jieh;Josephson, N. A.; Hsiang, Jieh; Josephson, N. A.; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:21:28Z |
Two Results in Term Rewriting Theorem Proving
|
JIEH HSIANG; JIEH HSIANG; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:21:28Z |
數位典藏之加值與應用
|
JIEH HSIANG; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:21:28Z |
數位典藏產業商業模式之探討
|
JIEH HSIANG; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:21:28Z |
數位典藏國家型科技計畫-應用服務分項計畫─(總計畫)
|
JIEH HSIANG; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:21:29Z |
臺灣機構典藏發展芻議
|
Jieh Hsiang; Hsiao-Ying Hung; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:21:29Z |
數位典藏國家型科技計畫-應用服務分項計畫─數位典藏應用公開徵選計畫(子計畫一)
|
JIEH HSIANG; JIEH HSIANG |
显示项目 1972676-1972685 / 2346460 (共234646页)
<< < 197263 197264 197265 197266 197267 197268 197269 197270 197271 197272 > >>
每页显示[10|25|50]项目
|
