Loveland, Donald W.
Loveland, Donald W. 1934-
Donald W. Loveland
Donald W. Loveland American mathematician
Loveland, D. W.
Loveland, D.W. (Donald W.)
VIAF ID: 28419621 ( Personal )
Permalink: http://viaf.org/viaf/28419621
Preferred Forms
- 100 0 _ ‡a Donald W. Loveland
- 100 0 _ ‡a Donald W. Loveland ‡c American mathematician
-
-
-
-
-
-
-
- 100 1 _ ‡a Loveland, Donald W.
- 100 1 _ ‡a Loveland, Donald W.
-
- 100 1 0 ‡a Loveland, Donald W.
- 100 1 _ ‡a Loveland, Donald W. ‡d 1934-
- 100 1 _ ‡a Loveland, Donald W. ‡d 1934-
4xx's: Alternate Name Forms (23)
5xx's: Related Names (7)
- 510 2 _ ‡a American Mathematical Society
- 510 2 _ ‡a Duke University
- 510 2 _ ‡a Duke University ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Massachusetts Institute of Technology, Dept. of Mathematics
- 510 2 _ ‡a Princeton University Press
- 510 2 _ ‡a Special Session on Automatic Theorem Proving (1983 : Denver, Colo.)
- 510 2 _ ‡a Special Session on Automatic Theorem Proving (1983 ; Denver)
Works
Title | Sources |
---|---|
6th Conference on Automated Deduction, New York, USA, June 7–9, 1982 | |
Artificial intelligence | |
Automated theorem proving : after 25 years | |
Three Views of Logic : Mathematics, Philosophy, and Computer Science | |
Three views of logic, (Princeton University Press) |