Proceedings of the Third Annual ACM Symposium on Theory of Computing
GPTKB entity
Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:conference
|
| gptkbp:event |
gptkb:Third_Annual_ACM_Symposium_on_Theory_of_Computing
|
| gptkbp:field |
gptkb:theoretical_computer_science
|
| gptkbp:language |
English
|
| gptkbp:publicationYear |
1971
|
| gptkbp:publishedBy |
gptkb:Association_for_Computing_Machinery
|
| gptkbp:bfsParent |
gptkb:P_vs_NP
gptkb:Cook's_theorem gptkb:Cook–Levin_theorem gptkb:Cook-Levin_theorem gptkb:The_Complexity_of_Theorem-Proving_Procedures_(Cook,_1971) |
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Proceedings of the Third Annual ACM Symposium on Theory of Computing
|