Donald Loveland

Digital Library

ACM Fellows

USA - 2000

citation

Played a major role in the development of theory proving and automated deduction through seminal research and an influential book on the subject.