公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
1997 | Some fundamental properties of Boolean ring normal forms | Hsiang J.; Huang G. S.; HsiangJ | DIMACS Series on Discrete Mathematics and Theoretical Computer Science, American Mathematical Society | |||
1997 | Some fundamental properties of Boolean ring normal forms | Hsiang J.; Huang Guan Shieng | Workshop, 1996 Mar: Washington, pp.587-602, Dimacs Series in Discrete Mathematics and Theoretical Computer Science | |||
1998 | Special Issue on Advances in Computing Science ASIAN '98 | Hsiang J.; Ohori Atsushi | International Journal on the Foundations of Computer Science Vol.11 | |||
1995 | Subsumption Revisited | Bonacina M. P.; Hsiang J. | Proceedings of Workshop on Artificial Intelligence | |||
2000 | Symmetry Elimination in Exhaustive Search | Huang G. H.; Hsiang J. | 17th Workshop on Combinatorial Mathematics and Computation Theory, Taipei, Taiwan | |||
1990 | Tutorial on Rewrite-Based Theorem Proving | Hsiang J.; Jouannaud Jean-Pierre | Proceedings of the 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27 | |||
2001 | XSL-based Content Management for Multi-presentation Digital Library Exhibitions | Hong J. S.; Chen B. H.; Hsiang J. | 5th European Conference on Digital Libraries |