|
English
|
正體中文
|
简体中文
|
Total items :2853535
|
|
Visitors :
45241822
Online Users :
980
Project Commissioned by the Ministry of Education
Project Executed by National Taiwan University Library
|
|
|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"hsiang jieh"
Showing items 121-130 of 164 (17 Page(s) Totally)
<< < 8 9 10 11 12 13 14 15 16 17 > >>
View [10|25|50] records per page
| 國立臺灣大學 |
1992 |
Automated Theorem Proving in the Presence of Equalities
|
Kirchner, H.; Lescanne, P.; Rusinowitch, M.; 項潔; Kirchner, H.; Lescanne, P.; Rusinowitch, M.; Hsiang, Jieh |
| 國立臺灣大學 |
1992 |
Logic Programming with Recurrence Domains
|
Chen, H.; 項潔; Chen, H.; Hsiang, Jieh |
| 臺大學術典藏 |
1992 |
Automated Proofs of the Moufang Identities in Alternative Rings
|
Anantharaman, S.; Hsiang, Jieh; Anantharaman, S.; 項潔; Anantharaman, S.; Hsiang, Jieh |
| 臺大學術典藏 |
1992 |
The Term Rewriting Approach to Automated Theorem Proving.
|
Rusinowitch, Micha?l; JIEH HSIANG; Lescanne, Pierre; Kirchner, H?l?ne; Hsiang, Jieh |
| 國立臺灣大學 |
1991-07 |
A Category Theory Approach to Completion-based Theorem Proving Strategies
|
Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh |
| 國立臺灣大學 |
1991-06 |
Computing with Recurrence Domains
|
Chen, H.; 項潔; Chen, H.; Hsiang, Jieh |
| 國立臺灣大學 |
1991-06 |
High Performance Simplification-based Automatd Deduction
|
Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh |
| 國立臺灣大學 |
1991-06 |
On Fairness of Completion-based Theorem Proving Strategies
|
Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh |
| 國立臺灣大學 |
1991-04 |
Operational and Denotational Semantics of Rewrite Programs
|
Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh |
| 國立臺灣大學 |
1991 |
Proving Refutational Completeness of Theovem-Proving Strategies:The Transfinite Semantic Tree Method
|
Rusinowitch, M.; 項潔; Rusinowitch, M.; Hsiang, Jieh |
Showing items 121-130 of 164 (17 Page(s) Totally)
<< < 8 9 10 11 12 13 14 15 16 17 > >>
View [10|25|50] records per page
|
