Subject
Computational Mathematics,Computational Theory and Mathematics,Modeling and Simulation
Reference9 articles.
1. Symbolic Logic and Mechanical Theorem Proving;Chang,1973
2. A new class of automated theorem-proving algorithms;Overbeek;J. Ass. comput. Math.,1974
3. A machine-oriented logic based on the resolution principle;Robinson;J. Ass. comput. Math.,1965
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献