Matches in DBpedia 2015-10 for { <http://doi.org/10.1145/800157.805047> ?p ?o }
Showing triples 1 to 30 of
30
with 100 triples per page.
- 800157.805047 authorlink "Stephen A. Cook".
- 800157.805047 authorlink "Stephen Cook".
- 800157.805047 authorlink1 "Stephen Cook".
- 800157.805047 booktitle "Proceedings, Third Annual ACM Symposium on the Theory of Computing, ACM, New York".
- 800157.805047 chapter "The complexity of theorem proving procedures".
- 800157.805047 chapter "The complexity of theorem-proving procedures".
- 800157.805047 chapterUrl cook.html.
- 800157.805047 contribution "The complexity of theorem-proving procedures".
- 800157.805047 contributionUrl "http://4mhz.de/cook.html".
- 800157.805047 doi "10.1145/800157.805047".
- 800157.805047 first "S. A.".
- 800157.805047 first "S.A.".
- 800157.805047 first "Stephen".
- 800157.805047 first1 "Stephen A.".
- 800157.805047 isCitedBy Clique_problem.
- 800157.805047 isCitedBy List_of_NP-complete_problems.
- 800157.805047 isCitedBy List_of_important_publications_in_theoretical_computer_science.
- 800157.805047 isCitedBy NP-completeness.
- 800157.805047 isCitedBy Subgraph_isomorphism_problem.
- 800157.805047 isCitedBy Symposium_on_Theory_of_Computing.
- 800157.805047 journal "Proceedings of the 3rd Annual ACM Symposium on Theory of Computing".
- 800157.805047 last "Cook".
- 800157.805047 last1 "Cook".
- 800157.805047 pages "151–158".
- 800157.805047 title Symposium_on_Theory_of_Computing.
- 800157.805047 title "Proc. STOC 1971".
- 800157.805047 title "The Complexity of Theorem-Proving Procedures".
- 800157.805047 title "The complexity of theorem proving procedures".
- 800157.805047 url "http://www.cs.toronto.edu/~sacook/homepage/1971.pdf".
- 800157.805047 year "1971".