论文信息 - A machine program for theorem-proving - 字舞流文

A machine program for theorem-proving

The programming of a proof procedure is discussed in connection with trial runs and possible improvements.

Donald W. Loveland | Martin D. Davis | George Logemann | D. Loveland | Martin D. Davis | G. Logemann

[1] Paul C. Gilmore,et al. A Proof Method for Quantification Theory: Its Justification and Realization , 1960, IBM J. Res. Dev..

[2] Hilary Putnam,et al. A Computing Procedure for Quantification Theory , 1960, JACM.