#### DMCA

## The complexity of theorem-proving procedures (1971)

### Cached

### Download Links

- [www.inf.unibz.it]
- [www.inf.unibz.it]
- [www.inf.unibz.it]
- DBLP

### Other Repositories/Bibliography

by
Stephen A. Cook

Venue: | IN STOC |

Citations: | 1033 - 5 self |