瀏覽 的方式： 關鍵字 lambda search
顯示 1 到 2 筆資料，總共 2 筆
| 公開日期 | 標題 | 作者 |
|---|---|---|
| 1-九月-2010 | Relevance-Zone-Oriented Proof Search for Connect6 | Wu, I-Chen; Lin, Ping-Hung; 資訊工程學系; Department of Computer Science |
| 2010 | 六子棋之區域證明搜尋 | 林秉宏; Lin, Ping-Hung; 吳毅成; Wu, I-Chen; 資訊科學與工程研究所 |