The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.08 - August (1976 vol.25)
pp: 773-782
J.D. McCharen , Division of Computer Science, Department of Mathematical Sciences, Northern Illinois University
ABSTRACT
The two objectives of this paper are 1) to give a large and varied problem set, complete clause sets for use in testing automated theorem-proving programs and 2) the presentation of a number of experiments with an existing program under a variety of conditions.
INDEX TERMS
Clause sets, resolution, theorem-proving, UR resolution.
CITATION
J.D. McCharen, R.A. Overbeek, L.A. Wos, "Problems and Experiments for and with Automated Theorem-Proving Programs", IEEE Transactions on Computers, vol.25, no. 8, pp. 773-782, August 1976, doi:10.1109/TC.1976.1674696
725 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool