Author: Donald W. Loveland
Publications
Publication period start: 2000
Number of co-authors: 2
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
Publications
Loveland, Donald W. (2000): Automated deduction: achievements and future directions. In Communications of the ACM, 43 (11) pp. 10. https://dl.acm.org/doi/10.1145/352515.352529
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