A machine program for theorem-proving

Martin Davis, George Logemann, Donald Loveland

Communications of the ACM 5(7), pages 394–397

July 1962

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

journal or series

Communications of the ACM (CACM)

search • all

— status

published

— sort

article in journal

who

— authors

Martin Davis • George Logemann • Donald Loveland

where & when

— publication date

July 1962

— journal

Communications of the ACM

— volume no.

— issue

— pages

394–397

— number of pages

— publisher

ACM

URL

— DOI

— OpenAlex

ISBN & ISSN

— ISSN

— E-ISSN

APICe

— journal or series