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
2002ANU Authors
Field of Research
- Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics)