|
English
|
正體中文
|
简体中文
|
0
|
|
???header.visitor??? :
53061373
???header.onlineuser??? :
969
???header.sponsordeclaration???
|
|
|
|
???tair.name??? >
???browser.page.title.author???
|
"he f"???jsp.browse.items-by-author.description???
Showing items 11-12 of 12 (2 Page(s) Totally)
<< < 1 2
View [10|25|50] records per page
| 臺大學術典藏 |
2018-09-10T08:09:03Z |
Comparing learning algorithms in automated assume-guarantee reasoning
|
Chen, Y.-F.;Clarke, E.M.;Farzan, A.;He, F.;Tsai, M.-H.;Tsay, Y.-K.;Wang, B.-Y.;Zhu, L.; Chen, Y.-F.; Clarke, E.M.; Farzan, A.; He, F.; Tsai, M.-H.; Tsay, Y.-K.; Wang, B.-Y.; Zhu, L.; YIH-KUEN TSAY |
| 國家衛生研究院 |
1998-03 |
Tyrosine kinase expression profiles of chicken erythro-progenitor cells and oncogene-transformed erythroblasts
|
Robinson, D; Chen, HC; Li, DS; Yustein, JT; He, F; Lin, WC; Hayman, MJ; Kung, HJ |
Showing items 11-12 of 12 (2 Page(s) Totally)
<< < 1 2
View [10|25|50] records per page
|
