Publications by: Geoff Sutcliffe

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

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

Sutcliffe, Geoff (2000) System Description: SystemOnTPTP. In: Proceedings of the 17th International Conference on Automated Deduction (1831), pp. 406-410. From: Automated Deduction - CADE 17, 17 - 20 July 2000, Pittsburgh, Pennsylvania, USA.

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 Fri Oct 20 20:51:26 2017 AEST.