|
English
|
正體中文
|
简体中文
|
2831143
|
|
???header.visitor??? :
33148597
???header.onlineuser??? :
1113
???header.sponsordeclaration???
|
|
|
???tair.name??? >
???browser.page.title.author???
|
"anantharaman siva"???jsp.browse.items-by-author.description???
Showing items 1-2 of 2 (1 Page(s) Totally) 1 View [10|25|50] records per page
臺大學術典藏 |
1989 |
SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion.
|
Anantharaman, Siva; Hsiang, Jieh; Mzali, Jalel; JIEH HSIANG; Anantharaman, Siva;Hsiang, Jieh;Mzali, Jalel |
臺大學術典藏 |
1989 |
SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion.
|
Anantharaman, Siva; Hsiang, Jieh; Mzali, Jalel; JIEH HSIANG; Anantharaman, Siva;Hsiang, Jieh;Mzali, Jalel |
Showing items 1-2 of 2 (1 Page(s) Totally) 1 View [10|25|50] records per page
|