|
English
|
正體中文
|
简体中文
|
2823024
|
|
???header.visitor??? :
30249794
???header.onlineuser??? :
865
???header.sponsordeclaration???
|
|
|
???tair.name??? >
???browser.page.title.author???
|
"rusinowitch micha l"???jsp.browse.items-by-author.description???
Showing items 1-5 of 5 (1 Page(s) Totally) 1 View [10|25|50] records per page
臺大學術典藏 |
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 |
Showing items 1-5 of 5 (1 Page(s) Totally) 1 View [10|25|50] records per page
|