Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link |
2004 | 24皇后問題共有227,514,171,973,736個解 | JIEH HSIANG | 第二十一屆組合數學與計算理論研討會論文集 | | | |
2002 | 「90年度-數位博物館主題計畫」延續計畫 | 項潔 | | | | |
2004 | 92年度「資訊教育學門」專題研究計畫成果討論會 | JIEH HSIANG | | | | |
2006 | 95 年度創意加值計畫書撰寫諮詢輔導會議座談會記錄 | 林芳吟; 陳雪華 ; 項潔 ; 趙國仁; 洪滋遠 | | | | |
1994 | A Category Theory Approach to Completion-Based Theorem Proving Strategies | Bonacina, M. P.; Hsiang, Jieh; JIEH HSIANG | Journal of Information Science and Engineering | | | |
1985 | A Prolog Environment for Developing and Reasoning About Data Types | JIEH HSIANG | Colloquium on Software Engineering | | | |
2003 | A reasoning framework for heterogeneous XML | Shieh, Yuh-Pyng; Chen, Chung-Chen; JIEH HSIANG | International Conference on Information Technology: Research and Education | 0 | 0 | |
1998 | Advances in Computing Science - ASIAN '98, 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings | JIEH HSIANG | | | | |
1999 | Agent technology for website browsing and navigation | Tu, Hsieh-Chang; Lyu, Michael L.; JIEH HSIANG | 32nd Annual Hawaii International Conference on System Sciences | 0 | 0 | |
2000 | Architecture and category knowledge for intelligent information retrieval agents | Tu, H.-C.; Hsiang, J.; JIEH HSIANG | Decision Support Systems | 36 | 27 | |
1998 | Architecture and category knowledge for intelligent information retrieval agents | Tu, Hsieh-Chang; JIEH HSIANG | Hawaii International Conference on System Sciences | 36 | | |
1998 | An architecture and category knowledge for intelligent information retrieval agents | Tu, Hsieh-Chang; Hsiang, Jieh | System Sciences | 0 | 0 | |
1998 | An Architecture and Category Knowledge for Intelligent Information Retrieval Agents. | Tu, Hsieh-Chang; Hsiang, Jieh; JIEH HSIANG | Thirty-First Annual Hawaii International Conference on System Sciences, Kohala Coast, Hawaii, USA, January 6-9, 1998 | 0 | 0 | |
1983 | ASSOCIATIVE-COMMUTATIVE REWRITING. | Dershowitz, Nachum; Josephson, N.Alan; Hsiang, Jieh; Plaisted, David A.; JIEH HSIANG | | | | |
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 | |
1996 | Automating algebraic proofs in algebraic logic | Hsiang, J.; Wasilewska, A.; JIEH HSIANG | Fundamenta Informaticae | | | |
1996 | Automating Algebraic Proofs in Algebraic Logic. | Hsiang, Jieh; Wasilewska, Anita; JIEH HSIANG | Fundam. Inform. | 0 | 0 | |
2006 | Boolean rings for intersection-based satisfiability | Dershowitz, N.; Hsiang, J.; Huang, G.-S.; Kaiss, D.; JIEH HSIANG | Lecture Notes in Computer Science | | | |
2006 | Boolean Rings for Intersection-Based Satisfiability | Dershowitz Nachum; Hsiang Jieh ; Huang Guan-shieng; Kaiss Daher | LPAR 2006 | | | |