ML Anthology

Anshelevich, Vadim V.

1 publications

AAAI 2000 The Game of Hex: An Automatic Theorem Proving Approach to Game Programming Vadim V. Anshelevich