|
English
|
正體中文
|
简体中文
|
Total items :2830311
|
|
Visitors :
32551073
Online Users :
991
Project Commissioned by the Ministry of Education
Project Executed by National Taiwan University Library
|
|
|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"rusinowitch m"
Showing items 1-7 of 7 (1 Page(s) Totally)
1
View [10|25|50] records per page
| 國立臺灣大學 |
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 |
Showing items 1-7 of 7 (1 Page(s) Totally)
1
View [10|25|50] records per page
|
