Sutcliffe, Geoff
-
AI Magazine Vol. 23 No. 1: Spring 2002 - Book Reviews
Automated Theorem Proving: A Review
Abstract PDF -
AI Magazine Vol. 27 No. 4: Winter 2006 - Workshop Reports
Report on the Nineteenth International FLAIRS Conference
Abstract PDF -
AI Magazine Vol. 37 No. 2: Summer 2016 - Competition Reports
The CADE ATP System Competition — CASC
Abstract PDF