本を探す
Scrapbox
「Monroe Newborn」の検索結果
Kasparov Versus Deep Blue: Computer Chess Comes of Age
p-his
Automated Theorem Proving: Theory and Practice
