|
English
|
正體中文
|
简体中文
|
总笔数 :2853504
|
|
造访人次 :
45178850
在线人数 :
825
教育部委托研究计画 计画执行:国立台湾大学图书馆
|
|
|
"rusinowitch micha l"的相关文件
显示项目 1-5 / 5 (共1页)
1
每页显示[10|25|50]项目
| 臺大學術典藏 |
2020-05-04T07:58:55Z |
On Word Problems in Equational Theories.
|
JIEH HSIANG; Hsiang, Jieh; Hsiang, Jieh; Rusinowitch, Micha?l |
| 臺大學術典藏 |
1992 |
The Term Rewriting Approach to Automated Theorem Proving.
|
Rusinowitch, Micha?l; JIEH HSIANG; Lescanne, Pierre; Kirchner, H?l?ne; Hsiang, Jieh |
| 臺大學術典藏 |
1991 |
Proving Refutational Completeness of Theorem-Proving Strategies: The Transfinite Semantic Tree Method.
|
Rusinowitch, Micha?l; JIEH HSIANG; Hsiang, Jieh |
| 臺大學術典藏 |
1986 |
A New Method for Establishing Refutational Completeness in Theorem Proving.
|
Hsiang, Jieh; Hsiang, Jieh;Rusinowitch, Micha?l; Rusinowitch, Micha?l; JIEH HSIANG |
| 臺大學術典藏 |
1986 |
A New Method for Establishing Refutational Completeness in Theorem Proving.
|
Hsiang, Jieh; Hsiang, Jieh;Rusinowitch, Micha?l; Rusinowitch, Micha?l; JIEH HSIANG |
显示项目 1-5 / 5 (共1页)
1
每页显示[10|25|50]项目
|
