Author: Donald W. Loveland
Publication Overview
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