34. The Complexity of Theorem-Proving Procedures

Author: Stephen A. Cook

Original date: 1971

Back to Ideas That Created the Future