公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2009 | Interpolant generation without constructing resolution graph. | Hsu, Chih-Jen; Huang, Shao-Lun; Wu, Chi-An; CHUNG-YANG HUANG | 2009 International Conference on Computer-Aided Design, ICCAD 2009, San Jose, CA, USA, November 2-5, 2009 | 3 | 0 | |
1999 | Tuberculous Pleurisy with Effusion | Hsu, Chih-Jen; Bai, Kuan-Jen; Chiang, I-Hsin; Wu, Ming-Pin; Lin, Tao-Ping; 郭壽雄; Kuo, Sow-Hsong | Archives of Internal Medicine | 1 | 6 | |
2009 | 利用決策過程產生內插邏輯之演算法:一個嶄新的布林電路重新合成技術 | 許智仁; Hsu, Chih-Jen |