Author:
Blair C.E.,Jeroslow R.G.,Lowe J.K.
Subject
Management Science and Operations Research,Modeling and Simulation,General Computer Science
Reference19 articles.
1. Mathematical Logic;Shoenfield,1967
2. A computing procedure for quantification theory;Davis;Jl ACM,1960
3. Logic for Problem-Solving;Kowalski,1979
4. Automated Theorem-Proving: A Logical Basis;Loveland,1978
5. A machine oriented logic based on the resolution principle;Robinson;Jl ACM,1965
Cited by
75 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献