Automated Theorem Proving for General Game Playing

Open in new window