Publications by: Geoff Sutcliffe

Also publishes as (G.C.J. Sutcliffe)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 2.

Sutcliffe, Geoff (2000) The CADE-16 ATP system competition. Journal of Automated Reasoning, 24 (3). pp. 371-396.

Brown, Marianne, and Sutcliffe, Geoff (2000) System description: PTTP+GLiDeS semantically guided PTTP. Lecture Notes in Computer Science, 1831. pp. 411-416.

This list was generated on Sun Mar 26 14:54:25 2017 AEST.