Author:
Wos L. T.,Robinson G. A.,Carson D. F.,Shalla L.
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Davis, Martin. Computability and Unsolvability. McGraw-Hill, New York, 1958, pp. 95–98.
2. Meltzer, B. Theorem-proving for computers: some results on resolution and renaming. Computer J. 8 (1966), 341–343.
3. Meltzer, B. and
Poogi, P. An improved complete strategy for theorem-proving by resolution. (Unpublished.)
4. Robinson, J. A. A machine-oriented logic based on the resolution principle. J. ACM
12, 1 (Jan. 1965), 23–41.
5. Robinson, J. A. Automatic deduction with hyper-resolution. Int. J. of Computer Math.
1 (1965), 227–234.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献