Author: Martin Davis
Publications
Publication period start: 1962
Number of co-authors: 2
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
Publications
Davis, Martin, Logemann, George, Loveland, Donald W. (1962): A machine program for theorem-proving. In Communications of the ACM, 5 (7) pp. 394-397. https://dl.acm.org/doi/10.1145/368273.368557