(Q5295258)
Statements
26 December 1934
1 reference
1 reference
1 reference
1993
For outstanding contributions to the field of automated reasoning and development of the model elimination theorem-proving procedure. (English)
2000
1 reference
Donald W. Loveland (computer scientist)
0 references
Identifiers
1 reference
1 reference
1 reference
2 references
1 reference
Sitelinks
Wikipedia(2 entries)
- arzwiki دونالد دبليو. لوڤيلاند
- enwiki Donald W. Loveland
Wikibooks(0 entries)
Wikinews(0 entries)
Wikiquote(0 entries)
Wikisource(0 entries)
Wikiversity(0 entries)
Wikivoyage(0 entries)
Wiktionary(0 entries)
Multilingual sites(1 entry)
- commonswiki Category:Donald W. Loveland (computer scientist)