Sign up Sign in
video thumbnail
Pause
Mute
Subtitles
Playback speed
0.25
0.5
0.75
1
1.25
1.5
1.75
2
Full screen

Theorem proving competition overview and results

Published on 2012-07-103807 Views

Geoff Sutcliffe

Slides presentation can be found at http://www.cs.miami.edu/~tptp/Seminars/CASC/CASC-J6/CASC@Turing/.

Alan Turing Centenary Conference 2012 - Manchester

Related categories

Computer ScienceComputer ScienceComputer Science