公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
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 | | | |
1996 | From Internet to the Future of Information Revolution | Hsiang J. | Workshop on Internet Technology | | | |
1997 | A generic virus detection agent on the Internet | Lee J. S.; Hsiang J.; Tsang P. H. | Proceedings of the Thirtieth Hawaii International Conference on System Sciences | | | |
1991 | Incompleteness of the RUE/NRF inference systems | Bonacina M. P.; Hsiang J. | Association of Automated Reasoning Newsletter | | | |