Credited as transcriber, not original author, in the first-page footnote of the revision-3 transcription of The Complexity of Theorem-Proving Procedures by Stephen A. Cook.
Articles by others on the same topic
There are currently no matching articles.