Cook, Stephen A. The complexity of theorem-proving procedures. (English) Zbl 0253.68020 ACM, Proc. 3rd ann. ACM Sympos. Theory Computing, Shaker Heights, Ohio 1971, 151-158 (1971). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 9 ReviewsCited in 186 Documents MSC: 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010) PDF BibTeX XML OpenURL