The Complexity of Theorem-Proving Procedures

Read it

EnglishTiếng Việt

English beside Tiếng Việt

• 7 sections
• 0 figures
• 0 equations
• 8 references
• cited by 0 here
• difficulty 4 of 5
• the publisher's page

Contents

• Summary
• 1Tautologies and Polynomial Reducibility
• 2Discussion
• 3The Predicate Calculus
• 4More Discussion:

Its place here

No other paper in this corpus cites it and it cites none of them.