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 |
theoretical computer science
|
https://www.w3.org/2000/01/rdf-schema#label |
Proceedings of the Third Annual ACM Symposium on Theory of Computing
|
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
|