|
English
|
正體中文
|
简体中文
|
Total items :2853535
|
|
Visitors :
45235487
Online Users :
847
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 6-15 of 164 (17 Page(s) Totally)
1 2 3 4 5 6 7 8 9 10 > >>
View [10|25|50] records per page
| 臺大學術典藏 |
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 |
| 臺大學術典藏 |
2020-05-04T07:58:52Z |
Automating Algebraic Proofs in Algebraic Logic.
|
Hsiang, Jieh; Wasilewska, Anita; JIEH HSIANG |
| 臺大學術典藏 |
2020-05-04T07:58:52Z |
Some fundamental properties of Boolean ring normal forms.
|
Hsiang, Jieh;Huang, Guan-Shieng; Hsiang, Jieh; Huang, Guan-Shieng; JIEH HSIANG |
| 臺大學術典藏 |
2020-05-04T07:58:51Z |
A digital museum of Taiwanese butterflies.
|
Hong, Jen-Shin; Chen, Herng-Yow; Hsiang, Jieh; JIEH HSIANG |
| 臺大學術典藏 |
2020-05-04T07:58:51Z |
An Architecture and Category Knowledge for Intelligent Information Retrieval Agents.
|
JIEH HSIANG; Hsiang, Jieh; Tu, Hsieh-Chang |
| 臺大學術典藏 |
2020-05-04T07:58:51Z |
Agent Technology for Website Browsing and Navigation.
|
Tu, Hsieh-Chang; Lyu, Michael L.; Hsiang, Jieh; JIEH HSIANG |
Showing items 6-15 of 164 (17 Page(s) Totally)
1 2 3 4 5 6 7 8 9 10 > >>
View [10|25|50] records per page
|
