Donald W. Loveland (Q5295258)
American mathematician
Language:
Current Data About Donald W. Loveland
(P19) (Q49218)
(P143)

(P21) (Q6581097)
(P248)
(P227) 104961139X
(P813) Saturday, August 3, 2024

(P27) (Q30)

(P31) (Q5)
(P143)

(P69) (Q616591)

(Q49210)

(Q49108)

(P101) (Q21198)
(P143)
(P4656) https://en.wikipedia.org/w/index.php?title=Donald_W._Loveland&oldid=838101132

(P106) (Q170790)
(P143)

(Q82594)

(Q15976092)

(P108) (Q168751)
(P854) https://users.cs.duke.edu/~dwl/

(P166) (Q449390)
(P585) Monday, January 1, 2001

(Q18748042)
(P585) +1993-00-00T00:00:00Z
(P6208) "For outstanding contributions to the field of automated reasoning and development of the model elimination theorem-proving procedure." (language: en)
(P854) https://aaai.org/about-aaai/aaai-awards/the-aaai-fellows-program/elected-aaai-fellows/

(Q18748039)
(P585) +2000-00-00T00:00:00Z
(P854) https://awards.acm.org/fellows/award-recipients
(P813) Sunday, June 23, 2024

(Q5442484)
(P585) +2019-00-00T00:00:00Z
(P1065) https://web.archive.org/web/20220321010232/https://www.aaas.org/news/aaas-announces-leading-scientists-elected-2019-fellows

(P184) (Q102080695)
(P248)

(Q1239172)
(P248)

(P185) (Q102080633)
(P248)

(Q11600)
(P248)

(Q102194779)
(P248)

(Q102233130)
(P248)

(Q102233131)
(P248)

(Q102233132)
(P248)

(Q102233133)
(P248)

(Q102233134)
(P248)

(P373) Donald W. Loveland (computer scientist)

(P463) (Q127992)
(P580) +2000-00-00T00:00:00Z
(P2868)
(P854) https://awards.acm.org/fellows/award-recipients
(P813) Sunday, June 23, 2024

(P569) Wednesday, December 26, 1934
(P248)
(P3430) w67f8nk0
(P1810) Donald W. Loveland
(P813) Monday, October 9, 2017

(P735) (Q13422248)

(P1412) (Q1860)
(P248)
(P269) 075062577
(P813) Friday, March 6, 2020

(P6104) (Q8487137)