Cook1971
The complexity of theorem-proving procedures
misc1971
Reference note
Why this source is in the ledger
Stephen A. Cook, “The complexity of theorem-proving procedures,” Proceedings of STOC 1971, 151–158, DOI: 10.1145/800157.805047.
Catalog connections
Conjectures citing this source
Source record
Bibliographic fields
Inspect the parsed BibTeX fields
- author
- Stephen A. Cook
- doi
- 10.1145/800157.805047
- note
- Stephen A. Cook, “The complexity of theorem-proving procedures,” Proceedings of STOC 1971, 151--158, DOI: 10.1145/800157.805047.
- title
- The complexity of theorem-proving procedures
- year
- 1971