Search results
- Complexity of Computer Computations. New York: Plenum. pp. 85–103. ISBN 0-306-30707-3. Cook, Stephen (1971). "The complexity of theorem proving procedures"...19 KB (2,354 words) - 01:15, 26 May 2024
- Complexity of Computer Computations. New York: Plenum. pp. 85–103. ISBN 0-306-30707-3. Archived from the original (PDF) on 2011-06-29. Retrieved 2020-05-07...52 KB (5,326 words) - 07:49, 3 July 2024