公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
1995 | Recurrence Domains:Their Unification and Application to Logic Programming | Chen, H.; 項潔; Hsiang, Jieh | Information and Computation | 7 | 4 | |
1985 | Refutational theorem proving using term-rewriting systems | JIEH HSIANG | Artificial Intelligence | 131 | 102 | |
1987 | Refutational Theorem Proving with Oriented Equations | Dershowitz, N.; Hsiang, Jieh; JIEH HSIANG | Colloquium on the Resolution of Equations in Algebraic Structures | | | |
2010 | Relevance model revisited: With multiple document representations | Chen, R.-C.; Tsai, C.-M.; Hsiang, J.; JIEH HSIANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 0 | 0 | |
2010 | Relevance Model Revisited: With Multiple Document Representations. | Chen, Ruey-Cheng; Tsai, Chiung-Min; Hsiang, Jieh; JIEH HSIANG | Information Retrieval Technology - 6th Asia Information Retrieval Societies Conference, AIRS 2010, Taipei, Taiwan, December 1-3, 2010. Proceedings | 0 | 0 | |
1987 | Rewrite Method for Theorem Proving in First Order Theory with Equality | Hsiang, Jieh; JIEH HSIANG | Journal of Symbolic Computation | 20 | 16 | |
1983 | Rewrite Methods for Clausal and Non-Clausal Theorem Proving. | Hsiang, Jieh; Dershowitz, Nachum; JIEH HSIANG | Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings | 45 | 0 | |
1983 | REWRITE METHODS FOR CLAUSAL AND NON-CLAUSAL THEOREM PROVING. | Hsiang, Jieh; Dershowitz, Nachum; JIEH HSIANG | Lecture Notes in Computer Science | | | |
1983 | Rewrite Methods for Clausal and Nonclausal Theorem Proving | 項潔; Dershowitz, N.; Hsiang, Jieh | 10th International Conference on Automata, Languages and Programming | | | |
1985 | Rewrite Techniques and Applications | Hsiang, Jieh; JIEH HSIANG | | | | |
1991 | Rewrite Techniques in Theorem Proving | JIEH HSIANG | | | | |
1995 | Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings | JIEH HSIANG | | 0 | 0 | |
1989 | SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion. | Anantharaman, Siva; Hsiang, Jieh; Mzali, Jalel; JIEH HSIANG | Rewriting Techniques and Applications, 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings | 12 | 0 | |
1990 | SbReve:A Term Rewritiong Laboratory with Unfailing Completion | Anantharaman, S.; 項潔; Mzali, J.; Hsiang, Jieh | 3rd International Conference on Rewrite Techniques and Applications | | | |
1983 | Solving Open Problems in Quasigroups by Propositional Reasoning | Zhang, H.; Hsiang, Jieh; JIEH HSIANG | | | | |
1997 | Some fundamental properties of Boolean ring normal forms | Hsiang J.; Huang G. S.; HsiangJ | DIMACS Series on Discrete Mathematics and Theoretical Computer Science, American Mathematical Society | | | |
1996 | Some fundamental properties of Boolean ring normal forms. | Hsiang, Jieh; Huang, Guan-Shieng; JIEH HSIANG | Satisfiability Problem: Theory and Applications, Proceedings of a DIMACS Workshop, Piscataway, New Jersey, USA, March 11-13, 1996 | 0 | 0 | |
2000 | Special issue on advances in computing science - Asian '98 | Hsiang, J.; Ohori, A.; JIEH HSIANG | International Journal of Foundations of Computer Science | 0 | 0 | |
1999 | Taiwan Austronesian Electronic Cultural Atlas of the Pacific | Blundell, David; Hsiang, Jieh | 1999 EBTI, ECAI, SEER & PNC Joint Meeting | | | |
2001 | Taiwan’s experience of multidisciplinary and international collaboration in digital library development | Chen, Hsueh-hua ; Hsiang, Jieh | Panel—Different Cultures Meet: Lessons Learned in Global Digital Library Development | | | |