Amanote Research
Register
Sign In
The Complexity of Theorem-Proving Procedures
doi 10.1145/800157.805047
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1971
Authors
Stephen A. Cook
Publisher
ACM Press