公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2007 | On building a full-text digital library of historical documents | Chen, S.-P.; Hsiang, J.; Tu, H.-C.; Wu, M.; JIEH HSIANG | Lecture Notes in Computer Science | | | |
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 | | | |
2009 | On Building a Full-Text Digital Library of Land Deeds of?Taiwan | Hsiang Jieh ; Chen Szu-Pei; Tu Hsieh-Chang | Digital Humanities 2009 | | | |
2005 | On developing digital institutional repositories in Taiwan | Hsiang, J.; Hung, H.-Y.; JIEH HSIANG | Journal of Educational Media and Library Science | | | |
1993 | On Fairness in Distributed Automated Deduction. | Bonacina, Maria Paola; JIEH HSIANG | STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, W?rzburg, Germany, February 25-27, 1993, Proceedings | | | |
1991 | On Fairness of Completion-Based Theorem Proving Strategies. | Bonacina, Maria Paola; JIEH HSIANG | Rewriting Techniques and Applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, Proceedings | | | |
1990 | On Finite Representation of Infinite Terms | Chen, H.; 項潔; Kung, H. C.; Hsiang, Jieh | 2nd International Conference on Conditional Term Rewriting Systems | | | |
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 | | | |
2013 | On mapping the ontologies of leishu - A preliminary investigation | Chung, C.-H.; JIEH HSIANG | 2013 International Conference on Culture and Computing | 0 | 0 | |
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 | | | |
1992 | On rewrite programs: Semantics and relationship with prolog | Bonacina, M.P.; Hsiang, J.; JIEH HSIANG | The Journal of Logic Programming | 13 | 8 | |
1996 | On semantic resolution with lemmaizing and contraction | Bonacina, M.P.; JIEH HSIANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
1998 | On semantic resolution with lemmaizing and contraction and a formal treatment of caching | Bonacina, M.P.; JIEH HSIANG | New Generation Computing | | | |
1996 | On Semantic Resolution with Lemmaizing and Contraction. | Bonacina, Maria Paola; JIEH HSIANG | PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings | | | |
1994 | On subsumption in distributed derivations | Bonacina, M.P.; JIEH HSIANG | Journal of Automated Reasoning | | | |
2004 | On the hardness of counting problems of complete mappings | Hsiang, J.; Hsu, D.F.; Shieh, Y.-P.; JIEH HSIANG | Discrete Mathematics | 14 | 10 | |
1998 | On the Modelling of Search in Theorem Proving - Towards a Theory of Strategy Analysis | Bonacina, M.P.; JIEH HSIANG | Information and Computation | 12 | 9 | |
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 | | | | |