|
English
|
正體中文
|
简体中文
|
總筆數 :0
|
|
造訪人次 :
52256754
線上人數 :
958
教育部委託研究計畫 計畫執行:國立臺灣大學圖書館
|
|
|
"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]項目
|
