Dave Plummer
4 published titles
An analytical comparison of some rule learning programs
(Contributor)
1 edition
- Department of Artificial Intelligence, University of Edinburgh
- 1984
- Details
Gazing : identifying potentially useful inferences
1 edition
- Department of Artificial Intelligence University of Edinburgh
- 1984
- Details
Gazing : using the structure of the theory in theorem proving
1 edition
- University of Edinburgh, Dept. of Artificial Intelligence
- 1985
- Details
An investigation and rational reconstruction of the UT theorem prover
1 edition
- Dept. of Artificial Intelligence, University of Edinburgh
- 1985
- Details
