Organized Techniques for Theorem-proving and Effective Research
GPTKB entity
Statements (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:conference_paper
|
| gptkbp:author |
gptkb:Donald_E._Knuth
Larry Luckham |
| gptkbp:language |
English
|
| gptkbp:publicationYear |
1967
|
| gptkbp:publishedIn |
Proceedings of the Third International Congress for Logic, Methodology, and Philosophy of Science
|
| gptkbp:topic |
mathematical research
theorem proving |
| gptkbp:bfsParent |
gptkb:Otter_theorem_prover
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Organized Techniques for Theorem-proving and Effective Research
|