Man-machine theorem proving in graph theory
- 1 May 1988
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 35 (1) , 1-23
- https://doi.org/10.1016/0004-3702(88)90030-6
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Theorem proving with abstractionArtificial Intelligence, 1981
- Non-resolution theorem provingArtificial Intelligence, 1977
- Graph equations for line graphs and total graphsDiscrete Mathematics, 1975
- A man-machine theorem-proving systemArtificial Intelligence, 1974
- Splitting and reduction heuristics in automatic theorem provingArtificial Intelligence, 1971