| 臺大學術典藏 |
2018-09-10T05:56:25Z |
Improved constraints on D0 - anti-D0 mixing in D0 ---> K+ pi- decays at BELLE
|
YEE HSIUNG; YEE HSIUNG; PAO-TI CHANG et al. |
| 臺大學術典藏 |
2018-09-10T05:56:25Z |
Use of a track and vertex processor in a fixed target charm experiment
|
Schub, M. H.;others; Schub, M. H.; others; YEE HSIUNG |
| 臺大學術典藏 |
2018-09-10T05:56:26Z |
First evidence for the decay K(L) ---> e+ e- mu+ mu-
|
Gu, P. and others; YEE HSIUNG |
| 臺大學術典藏 |
2018-09-10T05:56:26Z |
Inclusive Hadronic Production Cross-Sections Measured in Proton - Nucleus Collisions at $\\sqrt{s}$ = 27.4-GeV
|
Crittenden, J. A. and others; YEE HSIUNG |
| 臺大學術典藏 |
2018-09-10T05:56:26Z |
Nucleon Number Dependence of Massive Hadron Pair Production in 400-GeV/c Proton - Nucleus Collisions
|
Hsiung, Yee Bob; YEE HSIUNG |
| 臺大學術典藏 |
2018-09-10T05:56:26Z |
A progress report on the measurement of ε’/ε at Fermilab
|
Bock, G. J. and others; YEE HSIUNG |
| 臺大學術典藏 |
2018-09-10T05:56:26Z |
A Probabilistic Interpretation of "If-Then"
|
Liu, I.-M.;Lo, K.-C.;Wu, J.-T.; Liu, I.-M.; Lo, K.-C.; Wu, J.-T.; JEI-TUN WU |
| 臺大學術典藏 |
2018-09-10T05:56:27Z |
Orderings for Equational Proofs
|
Bachmair, L.;Dershowitz, D.;Hsiang, Jieh; Bachmair, L.; Dershowitz, D.; Hsiang, Jieh; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:56:27Z |
Prolog-based Inductive Theorem Proving
|
Hsiang, Jieh;Srivas, M. K.; Hsiang, Jieh; Srivas, M. K.; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:56:27Z |
自動推理方法之平行/分散化
|
Hsiang, Jieh; Hsiang, Jieh; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:56:27Z |
大學圖書館數位保存與館藏發展策略：以臺大圖書館為例
|
JIEH HSIANG; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:56:27Z |
從Internet看未來的資訊革命
|
JIEH HSIANG; JIEH HSIANG; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:56:27Z |
用０階邏輯中之推論方法解決數學問題
|
JIEH HSIANG; JIEH HSIANG; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:56:28Z |
自動推理系統環境II─自動推理系統環境：子計畫(一)邏輯推理系統之完備性及有效性之探討
|
JIEH HSIANG; JIEH HSIANG; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:56:28Z |
自動推理系統環境II─自動推理系統環境總計畫(Ⅱ)
|
JIEH HSIANG; JIEH HSIANG; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:56:28Z |
自由主義、社群主義或強烈民主－簡介《強烈民主》一書
|
周桂田; KUEI-TIEN CHOU |
| 臺大學術典藏 |
2018-09-10T05:56:28Z |
臺灣機構典藏發展芻議
|
Jieh Hsiang; Hsiao-Ying Hung; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:56:28Z |
大學圖書館數位保存與管藏發展策略：以臺大圖書館為例
|
Jieh Hsiang; Hsiao-Ying Hung; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:56:28Z |
Implementing an institutional repository for digital archive communities: Experiences from National Taiwan university
|
Tsai, C.-M.; Hsiang, J.; Chen, H.-H.; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:56:29Z |
Boolean rings for intersection-based satisfiability
|
Dershowitz, N.; Hsiang, J.; Huang, G.-S.; Kaiss, D.; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:56:29Z |
On semantic resolution with lemmaizing and contraction
|
Bonacina, M.P.;Hsiang, J.; Bonacina, M.P.; Hsiang, J.; JIEH HSIANG |
| 臺大學術典藏 |
2018-09-10T05:56:29Z |
Automating algebraic proofs in algebraic logic
|
JIEH HSIANG; Hsiang, J.;Wasilewska, A.; Hsiang, J.; Wasilewska, A. |
| 臺大學術典藏 |
2018-09-10T05:56:30Z |
生物特徵、指紋資料庫風險
|
周桂田; KUEI-TIEN CHOU |
| 臺大學術典藏 |
2018-09-10T05:56:30Z |
調查研究計畫簡介-基因科技風險評估與溝通之科技決策體制研究:以全球在地化風險為思考點
|
周桂田; KUEI-TIEN CHOU |
| 臺大學術典藏 |
2018-09-10T05:56:30Z |
Globalization and communication preparedness:Risk assessment of SARS
|
KUEI-TIEN CHOU; KUEI-TIEN CHOU |
