Abstract
The programming of a proof procedure is discussed in connection with trial runs and possible improvements. © 1962, ACM. All rights reserved.
Cite
CITATION STYLE
APA
Davis, M., Logemann, G., & Loveland, D. (1962). A machine program for theorem-proving. Communications of the ACM, 5(7), 394–397. https://doi.org/10.1145/368273.368557
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free