TPTP, CASC and the development of a semantically guided theorem prover

Citation

Hodgson, K & Slaney, J 2002, 'TPTP, CASC and the development of a semantically guided theorem prover', AI Communications, vol. 15, pp. 135-146.

Year

2002

ANU Authors

Field of Research

  • Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics)

Updated:  14 August 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers