Statistics
Publications
34
Citations
4.6K
H-Index
22
Active since
1960
Donald Loveland is an author at Duke University specializing in computer science, computing, and theory of computation.
Publications per year
1960–2022
34
34
A machine program for theorem-proving
Martin Davis, George Logemann, Donald Loveland · Communications of the ACM · 1962 · 3.2K citations · Full text
Mechanical Theorem-Proving by Model Elimination
Donald Loveland · Journal of the ACM · 1968 · 193 citations · Full text
1–5 of 34