Theorem proving competition overview and results
author: Geoff Sutcliffe,
University of Miami
published: July 10, 2012, recorded: June 2012, views: 3785
published: July 10, 2012, recorded: June 2012, views: 3785
Related content
Report a problem or upload files
If you have found a problem with this lecture or would like to send us extra material, articles, exercises, etc., please use our ticket system to describe your request and upload the data.Enter your e-mail into the 'Cc' field, and we will keep you updated with your request's status.
Description
Slides presentation can be found at http://www.cs.miami.edu/~tptp/Seminars/CASC/CASC-J6/CASC@Turing/.
Link this page
Would you like to put a link to this lecture on your homepage?Go ahead! Copy the HTML snippet !
Write your own review or comment: