Browsing by Author Huang, Szu-Yi
Showing results 1 to 2 of 2
Issue Date | Title | Author(s) |
---|---|---|
1-Jan-2017 | Proving Theorems by Using Evolutionary Search with Human Involvement | Huang, Szu-Yi; Chen, Ying-ping; 資訊工程學系; Department of Computer Science |
2017 | 以人類參與的演化式搜索證明數學定理 | 黃思誼; 陳穎平; Huang, Szu-Yi; Chen, Ying-ping; 資訊科學與工程研究所 |