Browsing by Author Hodgson, K.
Showing results 1 to 2 of 2
System Description: SCOTT-5
Author(s) | Hodgson, K.; Slaney, John K |
---|---|
Type | Conference paper |
Date Published | 2001 |
Date Created | June 18 2001 |
TPTP, CASC and the development of a semantically guided theorem prover
Author(s) | Hodgson, K.; Slaney, John K |
---|---|
Type | Journal article |
Date Published | 2002 |
Date Created | - |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator