Theorem proving competition overview and results
Published on 2012-07-103828 Views
Slides presentation can be found at http://www.cs.miami.edu/~tptp/Seminars/CASC/CASC-J6/CASC@Turing/.
Except where otherwise noted, content on this site is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 4.0 International license.