Archives/papers-we-love_papers-we-love
1
0
Fork 0
mirror of https://github.com/papers-we-love/papers-we-love.git synced 2024-10-27 20:34:20 +00:00
Code Issues Projects Releases Wiki Activity

Merge 95827d4476 into 599ae18301

Browse Source
This commit is contained in:
JKereliuk 2017-05-04 00:58:11 +00:00 committed by GitHub
commit 5c412d4f82
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
complexity/README.md Normal file
View File

@ -0,0 +1,3 @@
#Complexity
* [The Complexity of Theorem-Proving Procedures](http://www.chell.co.uk/media/product/_master/1/files/cook_complexity_of_theorem_proving_procedures_19712.pdf) by Stephen Cook