|
English
|
正體中文
|
简体中文
|
Total items :0
|
|
Visitors :
52243536
Online Users :
956
Project Commissioned by the Ministry of Education Project Executed by National Taiwan University Library
|
|
|
|
Taiwan Academic Institutional Repository >
Browse by Title
|
Showing items 216586-216595 of 2348487 (234849 Page(s) Totally) << < 21654 21655 21656 21657 21658 21659 21660 21661 21662 21663 > >> View [10|25|50] records per page
| 國立交通大學 |
2017-04-21T06:50:15Z |
Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants
|
Yang, Li-An; Liu, Jui-Pin; Chen, Chao-Hong; Chen, Ying-ping |
| 國立臺灣科技大學 |
2019 |
Automatically solving two-variable linear algebraic word problems using text mining
|
Rehman, T.;Khan, S.;Hwang, G.-J.;Abbas, M.A. |
| 亞洲大學 |
2007-04 |
Automatically Tuning Intrusion Detection System
|
Jeffrey J. P. Tsai;Z. Yu;T. Weigert |
| 國立臺灣大學 |
1989 |
Automaticity of the SN and A-V Junctional Tissue Before and After Chemical Denervation in the Dog
|
Chen, Jyh-Hong; 連文彬; 陳錦澤; Lin, Fang-Yue; Yang, Yu-Zen; Chen, Jyh-Hong; Lien, Wen-Pin; Chen, Jin-Jer; Lin, Fang-Yue; Yang, Yu-Zen |
| 國立臺灣大學 |
1996 |
Automating Algebraic Proofs in Algebraic Logic
|
Hsiang J.; Wasilewska A. |
| 臺大學術典藏 |
2018-09-10T05:56:29Z |
Automating algebraic proofs in algebraic logic
|
JIEH HSIANG; Hsiang, J.;Wasilewska, A.; Hsiang, J.; Wasilewska, A. |
| 臺大學術典藏 |
2020-05-04T07:58:52Z |
Automating Algebraic Proofs in Algebraic Logic.
|
Hsiang, Jieh; Wasilewska, Anita; JIEH HSIANG |
| 朝陽科技大學 |
2008-09 |
Automating Construction of a Domain Ontology Using a Projective Adaptive Resonance Theory Neural Network and Bayesian Network
|
陳榮靜; 莊政翰 |
| 國立彰化師範大學 |
2001-09 |
Automating course scheduling based on artificial intelligence and database systems
|
Lai, Lien-Fu; Pan, J. I. ; Liu, J. H. ; Lee, J. |
| 亞洲大學 |
2004-10 |
Automating design requirement acquisition for product knowledge management systems
|
吳銜容;Wu, Hsien-Jung |
Showing items 216586-216595 of 2348487 (234849 Page(s) Totally) << < 21654 21655 21656 21657 21658 21659 21660 21661 21662 21663 > >> View [10|25|50] records per page
|