Authors Search About

Voigt, Sebastian

1 publications

AAAI 2010 A Temporal Proof System for General Game Playing Michael Thielscher, Sebastian Voigt

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy