The Complexity of Theorem-Proving Procedures Stephen A. Cook University of Toronto - Alan Cook - Document - PDFSEARCH.IO

First Page	Meta Content
	The Complexity of Theorem-Proving Procedures Stephen A. Cook University of Toronto Add to Reading List Document Date: 2005-08-23 19:36:17 Open Document File Size: 469,76 KB Share Result on Facebook Company BT / Urs / / Currency pence / cent / USD / / Facility Theorem-Proving Procedures Stephen A. Cook University of Toronto Summary / / IndustryTerm deterministic recognition devices / / Organization Theorem-Proving Procedures Stephen A. Cook University of Toronto Summary / / Position tape head / / SocialTag Complexity classes Computability theory Turing machine Alan Turing Tautology NP FO Reduction PP Theoretical computer science

The Complexity of Theorem-Proving Procedures Stephen A. Cook University of TorontoAdd to Reading List