Article citationsMore>>

Cook, S. (1971) The Complexity of Theorem-Proving Procedures. Proceedings of the 3rd Annual ACM Symposium on Theory of Computing, Shaker Heights, OH, 3-5 May 1971, 151-158.

has been cited by the following article:

Follow SCIRP
Twitter Facebook Linkedin Weibo
Contact us
Free SCIRP Newsletters
Copyright © 2006-2021 Scientific Research Publishing Inc. All Rights Reserved.