公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
1992 | The Term Rewriting Approach to Automated Theorem Proving. | Hsiang, Jieh; Kirchner, Hélène; Lescanne, Pierre; Rusinowitch, Michaël; JIEH HSIANG | J. Log. Program. | | | |
1987 | Term Rewriting Theorem Proving for Equality | JIEH HSIANG | Workshop in Combinatorial Algorithms in Algebraic Structures | | | |
1985 | TeRSe:A Term Rewriting Theorem Prover | Hsiang, Jieh; Josephson, N. A.; JIEH HSIANG | Rewrite Rule Laboratory Workshop | | | |
2009 | The unique approach to institutional repository: Practice of National Taiwan University | JIEH HSIANG ; KUANG-HUA CHEN | Electronic Library | | | |
2005 | Toward an integrated digital museum system - the Chi Nan experiences | Hong, Jen Shin; Chen, Bai Hsuan; Hung, Sheng Hao; Hsiang, Jieh | International Journal on Digital Libraries | | | |
2005 | Toward an integrated digital museum system - The Chi Nan experiences | Hong, J.-S.; Chen, B.-H.; Hung, S.-H.; JIEH HSIANG | International Journal on Digital Libraries | | | |
1994 | Towards a Foundation of Completion Procedures as Semidecision Procedures | Bonacina, M. P.; 項潔; Hsiang, Jieh | Theoretical Computer Science | 27 | 21 | |
2014 | Transliteration Extraction from Classical Chinese Buddhist Literature Using Conditional Random Fields with Language Models | Yu-Chun Wang; Karol Chia-Tien Chang; Richard Tzong-Han Tsai; Jieh Hsiang; JIEH HSIANG | 中文計算語言學期刊 | | | |
2013 | Transliteration pair extraction from classical Chinese buddhist literature using phonetic similarity measurement | Wang, Y.-C.; Wu, C.-K.; Tsai, R.T.-H.; JIEH HSIANG | New Generation Computing | | | |
1990 | Tutorial on Rewrite-Based Theorem Proving. | Hsiang, Jieh; Jouannaud, Jean-Pierre; JIEH HSIANG | 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings | | | |
1985 | Two Results in Term Rewriting Theorem Proving | JIEH HSIANG | Rewriting Techniques and Applications | | | |
1985 | Two Results in Term Rewriting Theorem Proving. | JIEH HSIANG | Rewriting Techniques and Applications, First International Conference, RTA-85, Dijon, France, May 20-22, 1985, Proceedings | | | |
2006 | Various criteria in the evaluation of biomedical named entity recognition | Tsai Richard Tzong-Han; Wu Shih-Hung; Chou Wen-Chi; Lin Yu-Chun; He Ding; Hsiang Jieh ; Sung Ting-Yi; Hsu Wen-Lian | BMC Bioinformatics | | | |
2002 | Web Technology規劃推動小組 | 項潔 | | | | |
2009 | The Web-Scalable Library | Hsiang Jieh | GRL2020, 2009 | | | |
2001 | XSL-based Content Management for Multi-presentation Digital Museum Exhibitions. | Hong, Jen-Shin; Chen, Bai-Hsuen; JIEH HSIANG | Research and Advanced Technology for Digital Libraries, 5th European Conference, ECDL 2001, Darmstadt, Germany, September 4-9, 2001, Proceedings | 8 | 0 | |
2001 | 全國文化資料庫系統架構、詮釋資料及數位檔案格式研究計畫 | 陳昭珍; 項潔 ; 陳雪華 | 行政院文化建設委員會研究計劃成果報告 | | | |
2001 | 全國文化資料庫系統架構、詮釋資料及數位檔案格式研究計畫 | JIEH HSIANG | 行政院文化建設委員會研究計劃成果報告 | | | |
2007 | 創造、管理及使用數位館藏:臺大圖書館經驗談 | JIEH HSIANG | 中國圖書館學報2007年增刊 | | | |
1998 | 助理型軟體系統之研製與應用2/3(總計畫) | JIEH HSIANG | | | | |