|
English
|
正體中文
|
简体中文
|
Total items :0
|
|
Visitors :
52714682
Online Users :
558
Project Commissioned by the Ministry of Education
Project Executed by National Taiwan University Library
|
|
|
|
Taiwan Academic Institutional Repository >
Browse by Title
|
Showing items 94561-94570 of 2348674 (234868 Page(s) Totally)
<< < 9452 9453 9454 9455 9456 9457 9458 9459 9460 9461 > >>
View [10|25|50] records per page
| 國立臺灣大學 |
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. |
Showing items 94561-94570 of 2348674 (234868 Page(s) Totally)
<< < 9452 9453 9454 9455 9456 9457 9458 9459 9460 9461 > >>
View [10|25|50] records per page
|
