Affiliation:
1. Department of Computer Science; University of North Carolina at Chapel Hill; Chapel Hill NC USA
Subject
General Psychology,General Medicine,General Neuroscience
Reference74 articles.
1. The complexity of theorem-proving procedures
2. Universal search problems;Levin;Prob Inf Transm,1973
3. A machine program for theorem-proving;Davis;Commun ACM,1962
4. A computing procedure for quantification theory;Davis;J ACM,1960
5. D. Mitchell B. Selman H. Levesque Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92) 1992
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献