Loveland, Donald W.
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Donald W. Loveland American mathematician
Donald W. Loveland
Loveland, Donald W. 1934-
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, D. W.
-
100 1 _ ‡a Loveland, D.W. ‡q (Donald W.)
-
100 1 _ ‡a Loveland, Donald W
-
100 1 _ ‡a Loveland, Donald W.
-
100 1 _ ‡a Loveland, Donald W.
-
100 1 _ ‡a Loveland, Donald W.
-
100 1 _ ‡a Loveland, Donald W.
-
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.
-
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 |
|
| algoritmo de Davis-Putnam-Logemann-Loveland |
|
| algorytm DPLL |
|
| Artificial intelligence |
|
| Automated theorem proving : after 25 years |
|
| DPLL-Алгоритм |
|
| DPLLアルゴリズム |
|
| DPLL算法 |
|
| A machine program for theorem-proving |
|
| Three Views of Logic : Mathematics, Philosophy, and Computer Science |
|
| ДПЛЛ алгоритам |
|
| الگوریتم DPLL |
|
