Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 DavLogLov:1962fk
%A Davis, Martin
%A Logemann, George
%A Loveland, Donald
%D 1962
%J Communications of the ACM
%K imported ml
%N 7
%P 394--397
%T A machine program for theorem proving
%V 5
@article{DavLogLov:1962fk,
added-at = {2016-11-26T13:19:29.000+0100},
author = {Davis, Martin and Logemann, George and Loveland, Donald},
biburl = {https://www.bibsonomy.org/bibtex/2eefa0a8012b34983272adc6080125846/machinelearning},
date-added = {2006-09-22 13:01:56 -0700},
date-modified = {2006-09-22 13:16:49 -0700},
interhash = {3bd66f91ac6979878bfe4d18531db081},
intrahash = {eefa0a8012b34983272adc6080125846},
journal = {Communications of the ACM},
keywords = {imported ml},
number = 7,
pages = {394--397},
timestamp = {2016-11-26T13:20:49.000+0100},
title = {A machine program for theorem proving},
volume = 5,
year = 1962
}