|
"hsiang jieh"的相关文件
显示项目 121-130 / 164 (共17页)
<< < 8 9 10 11 12 13 14 15 16 17 > >>
每页显示[10|25|50]项目
| 國立臺灣大學 |
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 |
显示项目 121-130 / 164 (共17页)
<< < 8 9 10 11 12 13 14 15 16 17 > >>
每页显示[10|25|50]项目
|
