公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
1994 | A Category Theory Approach to Completion-Based Theorem Proving Strategies | Bonacina, M. P.; Hsiang, Jieh; JIEH HSIANG | Journal of Information Science and Engineering | | | |
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 | | | | |
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, Nachum; Hsiang, Jieh; Huang, Guan-Shieng; Kaiss, Daher; JIEH HSIANG | Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings | 2 | 0 | |
2011 | Breathing New Life into Static Materials. | Hsiang, Jieh; JIEH HSIANG | 44th Hawaii International International Conference on Systems Science (HICSS-44 2011), Proceedings, 4-7 January 2011, Koloa, Kauai, HI, USA | 0 | 0 | |
1995 | The Clause-Diffusion Methodology for Distributed Deduction. | Bonacina, Maria Paola; Hsiang, Jieh; JIEH HSIANG | Fundam. Inform. | 15 | 0 | |
1990 | Completion Procedures as Semidecision Procedures. | Bonacina, Maria Paola; Hsiang, Jieh; JIEH HSIANG | Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings | 5 | 0 | |
1991 | Computing with Recurrence Domains | Chen, H.; Hsiang, Jieh; JIEH HSIANG | Symposium on Theoretical Computer Science | | | |
2005 | Configurable Meta-search for Integrating Web Public Access Catalogs. | Ho, Hou Ieong; Hsiang, Jieh; JIEH HSIANG | Digital Libraries: Implementing Strategies and Sharing Experiences, 8th International Conference on Asian Digital Libraries, ICADL 2005, Bangkok, Thailand, December 12-15, 2005, Proceedings | 0 | 0 | |
2001 | Content management for digital museum exhibitions. | Hong, Jen-Shin; Chen, Bai-Hsuen; Hsiang, Jieh; JIEH HSIANG | ACM/IEEE Joint Conference on Digital Libraries, JCDL 2001, Roanoke, Virginia, USA, June 24-28, 2001, Proceedings | 3 | 0 | |
2012 | Discovering relationships from imperial court documents of Qing China. | Hsiang, Jieh; Chen, Shih-Pei; Ho, Hou Ieong; Tu, Hsieh-Chang; JIEH HSIANG | IJHAC | 6 | 0 | |
1994 | Distributed Deduction by Clause-Diffusion | Bonacina, M. P.; Hsiang, Jieh; JIEH HSIANG | Fundamenta Informaticae | | | |
1993 | Distributed Deduction by Clause-Diffusion: The Aquarius Prover. | Bonacina, Maria Paola; Hsiang, Jieh; JIEH HSIANG | Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993, Proceedings | 10 | 0 | |
1995 | Distributed Deduction by Clause-Diffusion:Distributed Contraction and the Aquarius Prover | Bonacina, M. P.; Hsiang, Jieh; JIEH HSIANG | Journal of Symbolic Computation | 9 | 6 | |
1994 | Distributed Deduction by Clause-Diffusion:the Aquarius Prover | Bonacina, P. B.; Hsiang, Jieh; JIEH HSIANG | Third Conference on the Design and Implemetntation of Symbolic Computation | | | |
2005 | Editorial. | Hong, Jen-Shin; Doerr, Martin; Hsiang, Jieh; JIEH HSIANG | Int. J. on Digital Libraries | 0 | 0 | |
1997 | Generic virus detection agent on the Internet | Lee, Jieh-Sheng; Hsiang, Jieh; Tsang, Po-Hao; JIEH HSIANG | Hawaii International Conference on System Sciences | | | |
1997 | A Generic Virus Detection Agent on the Internet. | Lee, Jieh-Sheng; Hsiang, Jieh; Tsang, Po-Hao; JIEH HSIANG | 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA | 0 | 0 | |
2004 | A Logical Framework of Knowledge Retrieval with Fuzziness. | Chen, Bee-Chung; Hsiang, Jieh; JIEH HSIANG | 2004 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2004), 20-24 September 2004, Beijing, China | 0 | 0 | |