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