Donald W Loveland
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.
citation
Played a major role in the development of theory proving and automated deduction through seminal research and an influential book on the subject.