公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2004 | 24皇后問題共有227,514,171,973,736個解 | 謝育平; 項潔; 黃光璿; 許德標 | 第二十一屆組合數學與計算理論研討會論文集(臺中市:臺中健康管理學院,民國93年5月21日至22日) | | | |
2002 | 「90年度-數位博物館主題計畫」延續計畫 | 項潔 | | | | |
2004 | 92年度「資訊教育學門」專題研究計畫成果討論會 | 項潔 | | | | |
1992 | Automated Proofs of the Moufang Identities in Alternative Rings | Anantharaman, S.; 項潔; Hsiang, Jieh | Journal of Automated Reasoning | 29 | 0 | |
1990 | Automatic Inductive Theorem Proving Using Prolog | Srivas, M. K.; 項潔; Hsiang, Jieh | Theoretical Computer Science | 0 | 6 | |
2006 | Free-DOM:萃取鬆散文件中的重要資訊並結構化之方法 | 王文廷; Wang, Wen-Ting | | | | |
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 | | | | |