%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 }