Theorem proving competition overview and results
Published on Jul 10, 20123802 Views
Slides presentation can be found at http://www.cs.miami.edu/~tptp/Seminars/CASC/CASC-J6/CASC@Turing/.
Slides presentation can be found at http://www.cs.miami.edu/~tptp/Seminars/CASC/CASC-J6/CASC@Turing/.