|
English
|
正體中文
|
简体中文
|
總筆數 :0
|
|
造訪人次 :
52733110
線上人數 :
563
教育部委託研究計畫 計畫執行:國立臺灣大學圖書館
|
|
|
顯示項目 94561-94570 / 2348674 (共234868頁)
<< < 9452 9453 9454 9455 9456 9457 9458 9459 9460 9461 > >>
每頁顯示[10|25|50]項目
| 國立臺灣大學 |
1994 |
A Category Theory Approach to Completion-Based Theorem Proving Strategies
|
Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh |
| 國立臺灣大學 |
1991-07 |
A Category Theory Approach to Completion-based Theorem Proving Strategies
|
Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh |
| 國立臺灣大學 |
1996 |
A category theory approach to completion-based theorem proving strategies
|
Bonacina M. P.; J |
| 國立臺灣大學 |
1994 |
A Category-Theoretic Treatment of Automated Theorem Proving
|
Bonacina M. P.; Hsiang J. |
| 國立高雄第一科技大學 |
2011.12 |
A Catharsis of Guilt: A Comparative Study of Male Responsibility in the Novels of John Fowles
|
Jeffrey, E.Denton; 唐傑夫 |
| 國立臺灣大學 |
2009 |
A cathode nano material of LiFePO4 and its application
|
Liu, R. S.; Drozd. V |
| 國立彰化師範大學 |
2001-03 |
A Cationic Iridium Complex Bearing an Imidazol-2-ylidene Ligand as Alkene Hydrogenation Catalyst
|
Lee, Hon Man; Tao Jiang; Edwin D. Stevens; Steven P. Nolan |
| 臺大學術典藏 |
2022-01-19T09:30:08Z |
A cationic nonselective stretch-activated channel in the Reissner's membrane of the guinea pig cochlea
|
TE-HUEI YEH; Herman P.; Tsai M.-C.; Tran Ba Huy P.; Van Den Abbeele T. |
| 大華科技大學 |
2008 |
A Causal Analytical Method for Group Decision-Making under Fuzzy Environment
|
林吉仁 |
| 國立成功大學 |
2014-07-01 |
A causal model for supply chain partner's commitment
|
Chen, Jengchung V.; Wang, Chen-Lin; Yen, David C. |
顯示項目 94561-94570 / 2348674 (共234868頁)
<< < 9452 9453 9454 9455 9456 9457 9458 9459 9460 9461 > >>
每頁顯示[10|25|50]項目
|
