Automated Deduction - CADE-25: 25th International Conference ...

文章推薦指數: 80 %
投票人數:10人

p0 ∈ reachable p0 [[p ∈ reachable p0; lgl move p p]] =⇒ p ∈ reachable p0 draw p ←→ ¬ (∃ p. p ∈ reachable p ∧ checkmate p) Endgame Strategies. 搜尋圖片地圖PlayYouTube新聞Gmail雲端硬碟更多»登入圖書我的圖書館說明進階圖書搜尋購買電子書-SGD 95.43取得本書籍的印刷本SpringerShop博客來網路書店eslite誠品金石堂網路書店搜尋圖書館目錄所有書商 » 服務條款 經過Springer



請為這篇文章評分?