English  |  正體中文  |  简体中文  |  總筆數 :0  
造訪人次 :  51490310    線上人數 :  664
教育部委託研究計畫      計畫執行:國立臺灣大學圖書館
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
關於TAIR

瀏覽

消息

著作權

相關連結

"jieh hsiang"的相關文件

回到依作者瀏覽
依題名排序 依日期排序

顯示項目 96-105 / 183 (共19頁)
<< < 5 6 7 8 9 10 11 12 13 14 > >>
每頁顯示[10|25|50]項目

機構 日期 題名 作者
臺大學術典藏 2018-09-10T05:21:30Z Refutational theorem proving using term-rewriting systems Hsiang, J.; Hsiang, J.; JIEH HSIANG
臺大學術典藏 2018-09-10T05:21:29Z 臺灣機構典藏發展芻議 Jieh Hsiang; Hsiao-Ying Hung; JIEH HSIANG
臺大學術典藏 2018-09-10T05:21:29Z 數位典藏國家型科技計畫-應用服務分項計畫─數位典藏應用公開徵選計畫(子計畫一) JIEH HSIANG; JIEH HSIANG
臺大學術典藏 2018-09-10T05:21:29Z On developing digital institutional repositories in Taiwan Hsiang, J.; Hung, H.-Y.; 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: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

顯示項目 96-105 / 183 (共19頁)
<< < 5 6 7 8 9 10 11 12 13 14 > >>
每頁顯示[10|25|50]項目