公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
1995 | Recurrence Domains:Their Unification and Application to Logic Programming | Chen, H.; 項潔; Hsiang, Jieh | Information and Computation | 7 | 4 | |
1983 | Rewrite Methods for Clausal and Nonclausal Theorem Proving | 項潔; Dershowitz, N.; Hsiang, Jieh | 10th International Conference on Automata, Languages and Programming | | | |
1995 | Rewrite Techniques and Applications | 項潔 | | | | |
1991 | Rewrite Techniques in Theorem Proving | Bachmair, L.; 項潔 | | | | |
1990 | SbReve:A Term Rewritiong Laboratory with Unfailing Completion | Anantharaman, S.; 項潔; Mzali, J.; Hsiang, Jieh | 3rd International Conference on Rewrite Techniques and Applications | | | |
1994 | Towards a Foundation of Completion Procedures as Semidecision Procedures | Bonacina, M. P.; 項潔; Hsiang, Jieh | Theoretical Computer Science | 27 | 21 | |
2002 | Web Technology規劃推動小組 | 項潔 | | | | |
2010 | 中國古典白話小說中的社會網路關係:以《儒林外史》為例 | 廖?凡; Liao, Chun-fan | | | | |
2004 | 以日誌為基礎的照片管理系統 | 廖漢騰; Liao, Han-Teng | | | | |
2008 | 以空間資訊改善房間定位準確度之研究 | 謝文芝; Hsieh, Wen-Chih | | | | |
2004 | 以鏈結為基礎的網站行為研究 | 蔡雨利; Tsai, Yu-Li | | | | |
2007 | 創造、管理及使用數位館藏:臺大圖書館經驗談 | 項潔; 洪筱盈 | 在學術圖書館館員在變革管理上的挑戰(香港:香港中文大學圖書館,2007年4月11-12日)中國圖書館學報2007年增刊(2007年6月),頁9-11 | | | |
1998 | 助理型軟體系統之研製與應用2/3(總計畫) | 項潔 | | | | |
1999 | ─助理型軟體系統之研製與應用3/3(總計畫) | 項潔 | | | | |
1997 | 助理型軟體系統之研製與應用─子計劃四:助理型軟體環境中架構及語言的研發(Ⅰ) | 項潔 | | | | |
1998 | 助理型軟體系統之研製與應用─子計畫四:助理型軟體環境中架構及語言的研發(2/3) | 項潔 | | | | |
1999 | 助理型軟體系統之研製與應用─子計畫四:助理型軟體環境中架構及語言的研發(3/3) | 項潔 | | | | |
1997 | 助理型軟體系統之研製與應用─總計畫(Ⅰ) | 項潔 | | | | |
2004 | 可攜式字集資源架構-用以解決缺字問題 | 謝育平; 吳政泓; 項潔 | 第三屆數位典藏技術研討會(臺北市:中央研究院資訊科學研究所,民國93年8月5日至6日) | | | |
2006 | 可攜式字集資源的缺字呈現與輸入問題 | 曾開昱; Tseng, Kai-Yu | | | | |