Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/e82bc0744b939b6ff97a4f15040c3a09dcc3f10e274782ebc5404512f67e8e1c> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- e82bc0744b939b6ff97a4f15040c3a09dcc3f10e274782ebc5404512f67e8e1c accessdate "2015-11-06".
- e82bc0744b939b6ff97a4f15040c3a09dcc3f10e274782ebc5404512f67e8e1c chapter "The complexity of theorem proving procedures".
- e82bc0744b939b6ff97a4f15040c3a09dcc3f10e274782ebc5404512f67e8e1c chapterurl "http://portal.acm.org/citation.cfm?coll=GUIDE&dl=GUIDE&id=805047".
- e82bc0744b939b6ff97a4f15040c3a09dcc3f10e274782ebc5404512f67e8e1c first "Stephen".
- e82bc0744b939b6ff97a4f15040c3a09dcc3f10e274782ebc5404512f67e8e1c isCitedBy 1971_in_science.
- e82bc0744b939b6ff97a4f15040c3a09dcc3f10e274782ebc5404512f67e8e1c last "Cook".
- e82bc0744b939b6ff97a4f15040c3a09dcc3f10e274782ebc5404512f67e8e1c pages "151–158".
- e82bc0744b939b6ff97a4f15040c3a09dcc3f10e274782ebc5404512f67e8e1c title "Proceedings of the Third Annual ACM Symposium on Theory of Computing".
- e82bc0744b939b6ff97a4f15040c3a09dcc3f10e274782ebc5404512f67e8e1c year "1971".