Pushing the Envelope: General Game Players Prove Theorems.

Published in: Australasian Conference on Artificial Intelligence (2010)

Keyphrases