Paper

Data

Name Cook SA (1971)

Description

Title The complexity of theorem proving procedures

References

Authors Cook SA Show Other

Volume

First page 15176

Last page 158

Publisher ACM Press

Pubmed ID

Year published 1971

Month published

Day published

Journal or book name Proc. 3rd ACM Symp. on Theory of Computing

Book Editor(s)

Missing References

Type

Digital Object Identifier

URL

Stated Usage

Species