Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference48 articles.
1. Non-resolution theorem proving;Bledsoe;Artificial Intelligence,1977
2. Proving theorems with the modification method;Brand;SIAM J. Comput.,1975
3. The complexity of theorem proving procedures;Cook,1971
4. Obvious inferences;Davis,1980
Cited by
138 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献