bookmark

Cook: The complexity of theorem-proving procedures - Google Scholar

http://scholar.google.com/scholar?hl=en&lr=&q=link:kneP2vjuroUJ:scholar.google.com/

Please log in to take part in the discussion (add own reviews or comments).