Donald W. Loveland

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1962
Publication period end
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. http://doi.acm.org/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. http://doi.acm.org/10.1145/368273.368557