|
English
|
正體中文
|
简体中文
|
2831769
|
|
???header.visitor??? :
33375427
???header.onlineuser??? :
859
???header.sponsordeclaration???
|
|
|
???tair.name??? >
???browser.page.title.author???
|
"hsiang jiehzhang h"???jsp.browse.items-by-author.description???
Showing items 1-2 of 2 (1 Page(s) Totally) 1 View [10|25|50] records per page
臺大學術典藏 |
1996 |
PSATO: A distributed propositional prover and its application to quasigroup problems
|
ZHANG, HANTAO;BONACINA, MARIA PAOLA;HSIANG, JIEHZhang, H.;Bonacina, M.P.;Hsiang, J.; ZHANG, HANTAO; BONACINA, MARIA PAOLA; HSIANG, JIEHZhang, H.; Bonacina, M.P.; Hsiang, J.; JIEH HSIANG |
臺大學術典藏 |
1996 |
PSATO: A distributed propositional prover and its application to quasigroup problems
|
ZHANG, HANTAO;BONACINA, MARIA PAOLA;HSIANG, JIEHZhang, H.;Bonacina, M.P.;Hsiang, J.; ZHANG, HANTAO; BONACINA, MARIA PAOLA; HSIANG, JIEHZhang, H.; Bonacina, M.P.; Hsiang, J.; JIEH HSIANG |
Showing items 1-2 of 2 (1 Page(s) Totally) 1 View [10|25|50] records per page
|