|
English
|
正體中文
|
简体中文
|
Total items :0
|
|
Visitors :
51494251
Online Users :
757
Project Commissioned by the Ministry of Education
Project Executed by National Taiwan University Library
|
|
|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"項潔"
Showing items 216-219 of 219 (9 Page(s) Totally)
<< < 1 2 3 4 5 6 7 8 9
View [10|25|50] records per page
| 國立臺灣大學 |
1985 |
Rewrite Techniques and Applications
|
項潔; Hsiang, Jieh |
| 國立臺灣大學 |
1983-09 |
Solving Open Problems in Quasigroups by Propositional Reasoning
|
Zhang, H.; 項潔; Zhang, H.; Hsiang, Jieh |
| 國立臺灣大學 |
1983 |
Rewrite Methods for Clausal and Nonclausal Theorem Proving
|
項潔; Dershowitz, N.; Hsiang, Jieh; Dershowitz, N. |
| 臺大學術典藏 |
1983 |
Rewrite Methods for Clausal and Nonclausal Theorem Proving
|
項潔;Dershowitz, N.; Hsiang, Jieh;Dershowitz, N.; 項潔; Dershowitz, N.; Hsiang, Jieh; Dershowitz, N. |
Showing items 216-219 of 219 (9 Page(s) Totally)
<< < 1 2 3 4 5 6 7 8 9
View [10|25|50] records per page
|
