Metrics
12 Record Views
- Title
- A general clause theorem prover
- Creators
- Geoff Sutcliffe
- Publication Details
- 10th International Conference on Automated Deduction, pp.675-676
- Series
- Lecture Notes in Computer Science
- Publisher
- Springer Berlin Heidelberg; Berlin, Heidelberg
- ISSN
- 1611-3349
- Academic Unit
- Leadership Department; College of A&S; A&S - Computer Science
- Language
- English
- Resource Type
- Book chapter
- Record Identifier
- 991031600004502976