公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
1997 | 1997 Herbrand Award for Distinguished Contributions to Automated Reasoning Recipient: Professor Wu Wen-Tsun | Hsiang J. | Proceedings of the 14th International Conference on Automated Deduction, Townsville, Australia, Lecture Notes in Artificial Intelligence, Springer-Verlag | | | |
1998 | Advances in Computing Science-ASIAN '98 | Hsiang J.; Ohori A. | Proceedings of 4th Asian Computing Science Conference, Manila, The Philippines | | | |
1996 | Automating Algebraic Proofs in Algebraic Logic | Hsiang J.; Wasilewska A. | Fundamenta Informaticae | | | |
2004 | Boolean Ring Satisfiability | Dershowitz N.; Hsiang J.; Huang G. S.; Kaiss D. | Proceedings of the seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004) | | | |
2000 | Butterpree-Preparing Course Material from a Digital Museum of Butterflies | Yu C. H.; Hsiang J. | International Conference on Computer Assisted Instruction and Internet Computing | | | |
1996 | A Case Study of Parallel Satisfiability on Quasigroup Problems | Zhang H.; Bonacina M. P.; Hsiang J. | Journal of Symbolic Computation | | | |
1994 | A Category-Theoretic Treatment of Automated Theorem Proving | Bonacina M. P.; Hsiang J. | Journal of Information Science and Engineering | | | |
1998 | Challenges in the Digitization of Taiwan's Historical Archives | Hsiang J. | Proceedings of the Conference on Information Science and Technology for the Twenty-First Century | | | |
1995 | The Clause-Diffusion Methodology for Distributed Deduction | Bonacina M. P.; Hsiang J. | Fundamenta Informaticae | | | |
1999 | Compact Representation of Boolean Ring Formulas | Hsiang J.; Huang G. S. | Chinese Journal of Advanced Software Research | | | |
1990 | Completion Procedures as Semi-Decision Procedures | Bonacina M. P.; Hsiang J. | proceedings of the 2nd International Conference on Conditional Term Rewriting Systems, Montreal, May 1990 | | | |
1990 | Computing with Recurrence Domains | Chen H.; Hsiang J. | Symposium on Theoretical Computer Science, Toyohashi, Japan, August 1990 | | | |
2001 | Content Management for Digital Museum Exhibitions | Hong J. S.; Chen B. S.; Hsiang J. | ACM/IEEE Joint Conference on Digital Libraries, June 2001 | | | |
2002 | The Cyclic Complete Mappings Counting Problems | Hsiang J.; Shieh Y. P.; Chen Y. C. | PaPS:Problems and Problem Sets for ATP Workshop in conjunction with CADE-18 and FLoC | | | |
1997 | Deduction Methods Based on Boolean Rings | Hsiang J. | the Proceedings of Fourteenth International Conference on Automated Deduction (CADE-14), July 1997 | | | |
2004 | Digitalizing the Heritage Archives in National Taiwan University Library | Hsiang J.; Tsai Chiung-min | International Symposium on Digital Libraries and Knowledge Communities in Networked Information Society 2004 (DLKC 2004), University of Tsukuba, Ibaraki, Japan | | | |
1998 | Digitizing Taiwan's Historical Archives--The NTU Digital Library/Museum Project | Hsiang J. | pp. 1516-1519 | | | |
2001 | Focalization in Interactive Retrieval | Hsiang J.; Tu H. C. | International Conference on Next Generation Information Technology, Beijing, June | | | |
2001 | Focalization on Interactive Retrieval | Hsiang J.; Tang Y. G. | 12th International Conference on New Information Technology (NIT | | | |
1998 | Foreword | Hsiang J. | Theoretical computer science | | | |