|
English
|
正體中文
|
简体中文
|
总笔数 :2853524
|
|
造访人次 :
45205204
在线人数 :
767
教育部委托研究计画 计画执行:国立台湾大学图书馆
|
|
|
"hsiang jieh"的相关文件
显示项目 6-15 / 164 (共17页)
1 2 3 4 5 6 7 8 9 10 > >>
每页显示[10|25|50]项目
| 臺大學術典藏 |
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 |
显示项目 6-15 / 164 (共17页)
1 2 3 4 5 6 7 8 9 10 > >>
每页显示[10|25|50]项目
|
