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; 資訊科學與工程研究所 |