|
English
|
正體中文
|
简体中文
|
总笔数 :2816861
|
|
造访人次 :
27615534
在线人数 :
525
教育部委托研究计画 计画执行:国立台湾大学图书馆
|
|
|
"rusinowitch m"的相关文件
显示项目 1-7 / 7 (共1页)
1
每页显示[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 |
| 國立臺灣大學 |
1991 |
Proving Refutational Completeness of Theovem-Proving Strategies:The Transfinite Semantic Tree Method
|
Rusinowitch, M.; 項潔; Rusinowitch, M.; Hsiang, Jieh |
| 臺大學術典藏 |
1991 |
Proving Refutational Completeness of Theovem-Proving Strategies:The Transfinite Semantic Tree Method
|
Rusinowitch, M.; Hsiang, Jieh; Rusinowitch, M.; 項潔; Hsiang, Jieh |
| 國立臺灣大學 |
1988 |
Complete Set of Inference Rules for the Cancellation Laws
|
項潔; Rusinowitch, M.; Sakai, K.; Hsiang, Jieh; Rusinowitch, M.; Sakai, K. |
| 國立臺灣大學 |
1987-08 |
On Word Problems in Equational Theories
|
項潔; Rusinowitch, M.; Hsiang, Jieh; Rusinowitch, M. |
| 國立臺灣大學 |
1987-07 |
A New Method for Establishing Refutational Completeness in Theorem Proving
|
項潔; Rusinowitch, M.; Hsiang, Jieh; Rusinowitch, M. |
| 臺大學術典藏 |
1987-07 |
A New Method for Establishing Refutational Completeness in Theorem Proving
|
Rusinowitch, M.; Hsiang, Jieh; 項潔; Rusinowitch, M.; Hsiang, Jieh |
显示项目 1-7 / 7 (共1页)
1
每页显示[10|25|50]项目
|
