Staff
JCU App
Library
LearnJCU
Contact
Give
JCU Australia logo

 

Publications by: Geoff Sutcliffe

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.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 Sat Nov 23 11:54:33 2024 AEST.
Athena SWAN Bronze Award logo Innovative Research Universities Universities Australia State of the Tropics
Aboriginal flag Torres Strait flag We acknowledge Australian Aboriginal People and Torres Strait Islander People as the first inhabitants of the nation, and acknowledge Traditional Owners of the lands where our staff and students live, learn and work.