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.
https://doi.org/10.1145/800157.805047

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.
Top