| 臺大學術典藏 |
2018-09-10T04:31:46Z |
REWRITE METHODS FOR CLAUSAL AND NON-CLAUSAL THEOREM PROVING.
|
Dershowitz, Nachum; JIEH HSIANG; Hsiang, Jieh; Hsiang, Jieh;Dershowitz, Nachum |
| 臺大學術典藏 |
2020-05-04T07:58:56Z |
Rewrite Methods for Clausal and Non-Clausal Theorem Proving.
|
Hsiang, Jieh;Dershowitz, Nachum; Hsiang, Jieh; Dershowitz, Nachum; JIEH HSIANG |
| 臺大學術典藏 |
1983 |
Rewrite Methods for Clausal and Nonclausal Theorem Proving
|
項潔;Dershowitz, N.; Hsiang, Jieh;Dershowitz, N.; 項潔; Dershowitz, N.; Hsiang, Jieh; Dershowitz, N. |
| 國立臺灣大學 |
1983 |
Rewrite Methods for Clausal and Nonclausal Theorem Proving
|
項潔; Dershowitz, N.; Hsiang, Jieh; Dershowitz, N. |
| 國立交通大學 |
2014-12-08T15:39:56Z |
Rewrite rules as service integrators
|
Chen, JY |
| 國立臺灣大學 |
1985 |
Rewrite Techniques and Applications
|
項潔; Hsiang, Jieh |
| 國立臺灣大學 |
1995-01 |
Rewrite Techniques and Applications
|
項潔 |
| 臺大學術典藏 |
2018-09-10T05:21:27Z |
Rewrite Techniques and Applications
|
Hsiang, Jieh; Hsiang, Jieh; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T03:46:52Z |
Rewrite Techniques in Theorem Proving
|
JIEH HSIANG; JIEH HSIANG |
| 國立臺灣大學 |
1995 |
Rewrite Techniques in Theorem Proving
|
Bachmair, L.; 項潔; Bachmair, L.; Hsiang, Jieh |
| 國立臺灣大學 |
1991-01 |
Rewrite Techniques in Theorem Proving
|
Bachmair, L.; 項潔 |
| 淡江大學 |
1999 |
Rewriting Adultery in Updike's Scarlet Letter Trilogy
|
Chiu, Han-ping |
| 淡江大學 |
2013-12 |
Rewriting Canonical Love Stories from the Peripheries
|
楊雅筑; Yang, Karen Ya-Chu |
| 國立政治大學 |
2009.06 |
Rewriting Enlightenment: The Mystery of Udolpho
|
吳易道; Wu,Yih-Dau |
| 淡江大學 |
2013-10-25 |
Rewriting ethics in Linda Hogan’s Power and Timothy Morton’s Ecology without Nature
|
黃逸民 |
| 淡江大學 |
2014-07-09 |
Rewriting or Creation: Self-Translation of Eileen Chang´s The Rice Sprout Song
|
戴毓芬 |
| 臺大學術典藏 |
2022-03-03T05:34:50Z |
Rewriting Shakespeare, Reconstructing Beijing Opera: Guoguang Opera Company's Cleopatra and Her Fools
|
Hsieh, Hsiao-Mei; HSIAO-MEI HSIEH |
| 國立臺灣大學 |
1995 |
Rewriting Techniques and Applications
|
J. Hsiang |
| 臺大學術典藏 |
2020-05-04T07:58:53Z |
Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings
|
JIEH HSIANG |
| 淡江大學 |
2004 |
Rewriting Travel: A Reading of the Two Versions of "The City of Dreadful Night"
|
Ozawa Shizen |
| 國立成功大學 |
2009-07-31 |
REX: 對於多階儲存單元快閃記憶體以混合位址轉譯為基礎的一種新的快閃轉譯層
|
林韋全; Lin, Wei-Chuan |
| 國立政治大學 |
2014 |
Reyas手工珠寶：從生產到品牌經營
|
王漢立; Wang, Hanif |
| 臺大學術典藏 |
2020-03-10T03:30:45Z |
Reye's syndrome developing in an infant on treatment of Kawasaki syndrome
|
Wei C.-M.;Huey-Ling Chen;Lee P.-I.;Chen C.-M.;Ma C.-Y.;Hwu W.-L.; Wei C.-M.; HUEY-LING CHEN; Lee P.-I.; Chen C.-M.; Ma C.-Y.; Hwu W.-L. |
| 臺大學術典藏 |
2005 |
Reye's syndrome developing in an infant on treatment of Kawasaki syndrome
|
Hwu W.-L.; Ma C.-Y.; Chen C.-M.; PING-ING LEE; Chen H.-L.; Wei C.-M.; Wei C.-M.;Chen H.-L.;Ping-Ing Lee;Chen C.-M.;Ma C.-Y.;Hwu W.-L. |
| 臺大學術典藏 |
2020-12-16T02:26:07Z |
Reye's syndrome developing in an infant on treatment of Kawasaki syndrome
|
Wei C.-M.;Chen H.-L.;Lee P.-I.;Chen C.-M.;Ma C.-Y.;Wuh-Liang Hwu; Wei C.-M.; Chen H.-L.; Lee P.-I.; Chen C.-M.; Ma C.-Y.; WUH-LIANG HWU |
