公開日期 | 標題 | 作者 | 來源出版物 | 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 | | | |
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. | | | |
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 | | | |
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 | |
1991 | Computing with Recurrence Domains | Chen, H.; Hsiang, Jieh; JIEH HSIANG | Symposium on Theoretical Computer Science | | | |
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 | | | |
1994 | Distributed Deduction by Clause-Diffusion | Bonacina, M. P.; Hsiang, Jieh; JIEH HSIANG | Fundamenta Informaticae | | | |
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 | | | |
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 | | | |
1986 | A New Method for Establishing Refutational Completeness in Theorem Proving. | Hsiang, Jieh; Rusinowitch, Michaël; JIEH HSIANG | 8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings | | | |
2007 | On Building a Full-Text Digital Library of Historical Documents. | Chen, Szu-Pei; Hsiang, Jieh; Tu, Hsieh-Chang; Wu, Micha; JIEH HSIANG | Asian Digital Libraries. Looking Back 10 Years and Forging New Frontiers, 10th International Conference on Asian Digital Libraries, ICADL 2007, Hanoi, Vietnam, December 10-13, 2007, Proceedings | | | |
1990 | On Finite Representations of Infinite Sequences of Terms. | Chen, Hong; Hsiang, Jieh; Kong, Hwa-Chung; JIEH HSIANG | Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings | | | |
2018 | On Natural Disasters In Chinese Standard Histories. | Su, Hong-Ting; Hsiang, Jieh; Lin, Nungyao; JIEH HSIANG | Digital Humanities 2018, DH 2018, Book of Abstracts, El Colegio de M?xico, UNAM, and RedHD, Mexico City, Mexico, June 26-29, 2018 | | | |
1987 | On Word Problems in Equational Theories. | Hsiang, Jieh; Rusinowitch, Michaël; JIEH HSIANG | Automata, Languages and Programming, 14th International Colloquium, ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings | | | |
1986 | Orderings for Equational Proofs | Bachmair, L.; Dershowitz, D.; Hsiang, Jieh; JIEH HSIANG | The Symposium on Logic in Computer Science | | | |
1986 | ORDERINGS FOR EQUATIONAL PROOFS. | Bachmair, Leo; Dershowitz, Nachum; Hsiang, Jieh; JIEH HSIANG | | | | |