公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
1987 | A New Method for Establishing Refutational Completeness in Theorem Proving | 項潔; Rusinowitch, M.; Hsiang, Jieh | 8th Conference on Automated Deduction | | | |
1990 | On Finite Representation of Infinite Terms | Chen, H.; 項潔; Kung, H. C.; Hsiang, Jieh | 2nd International Conference on Conditional Term Rewriting Systems | | | |
1985 | A Prolog Environment for Developing and Reasoning About Data Types | 項潔; Srivas, M. K.; Goos, G.; Hartmanis, J.; Barstow, D.; Brauer, W.; Hansen, P. Brinch; Gries, D.; Luckham, D.; Moler, C.; Pnueli, A.; Seegmüller, G.; Stoer, H.; Wirth, N. | Proceedings of the Colloquium on Software Engineering(TAPSOFT) | | | |
1991 | Proving Refutational Completeness of Theovem-Proving Strategies:The Transfinite Semantic Tree Method | Rusinowitch, M.; 項潔; Hsiang, Jieh | Journal of the Association for Computing Machinery | | | |
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) | 項潔 | | | | |