|
"hsiang jieh"的相关文件
显示项目 1-10 / 164 (共17页)
1 2 3 4 5 6 7 8 9 10 > >>
每页显示[10|25|50]项目
| 臺大學術典藏 |
2020-05-04T07:58:56Z |
Rewrite Methods for Clausal and Non-Clausal Theorem Proving.
|
Hsiang, Jieh;Dershowitz, Nachum; Hsiang, Jieh; Dershowitz, Nachum; JIEH HSIANG |
| 臺大學術典藏 |
2020-05-04T07:58:55Z |
On Word Problems in Equational Theories.
|
JIEH HSIANG; Hsiang, Jieh; Hsiang, Jieh; Rusinowitch, Micha?l |
| 臺大學術典藏 |
2020-05-04T07:58:55Z |
A PROLOG Environment for Developing and Reasoning about Data Types.
|
Hsiang, Jieh;Srivas, Mandayam K.; Hsiang, Jieh; Srivas, Mandayam K.; JIEH HSIANG |
| 臺大學術典藏 |
2020-05-04T07:58:54Z |
Logic Programming with Recurrence Domains.
|
JIEH HSIANG; Hsiang, Jieh; Chen, Hong |
| 臺大學術典藏 |
2020-05-04T07:58:54Z |
Tutorial on Rewrite-Based Theorem Proving.
|
Hsiang, Jieh;Jouannaud, Jean-Pierre; Hsiang, Jieh; Jouannaud, Jean-Pierre; JIEH HSIANG |
| 臺大學術典藏 |
2020-05-04T07:58:54Z |
Completion Procedures as Semidecision Procedures.
|
Bonacina, Maria Paola;Hsiang, Jieh; Bonacina, Maria Paola; Hsiang, Jieh; JIEH HSIANG |
| 臺大學術典藏 |
2020-05-04T07:58:54Z |
On Fairness of Completion-Based Theorem Proving Strategies.
|
JIEH HSIANG; Hsiang, Jieh; Bonacina, Maria Paola |
| 臺大學術典藏 |
2020-05-04T07:58:54Z |
On Finite Representations of Infinite Sequences of Terms.
|
JIEH HSIANG; Kong, Hwa-Chung; Chen, Hong;Hsiang, Jieh;Kong, Hwa-Chung; Chen, Hong; Hsiang, Jieh |
| 臺大學術典藏 |
2020-05-04T07:58:53Z |
The Clause-Diffusion Methodology for Distributed Deduction.
|
Bonacina, Maria Paola;Hsiang, Jieh; Bonacina, Maria Paola; Hsiang, Jieh; JIEH HSIANG |
| 臺大學術典藏 |
2020-05-04T07:58:53Z |
On Fairness in Distributed Automated Deduction.
|
Bonacina, Maria Paola;Hsiang, Jieh; Bonacina, Maria Paola; Hsiang, Jieh; JIEH HSIANG |
显示项目 1-10 / 164 (共17页)
1 2 3 4 5 6 7 8 9 10 > >>
每页显示[10|25|50]项目
|
