公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
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 |