McAllester, David A.
McAllester, David
McAllester, David, 1956-....
David A. McAllester American academic
MacAllester, David A
VIAF ID: 256382642 ( Personal )
Permalink: http://viaf.org/viaf/256382642
Preferred Forms
- 100 0 _ ‡a David A. McAllester ‡c American academic
-
-
- 100 1 _ ‡a McAllester, David
- 100 1 _ ‡a McAllester, David A.
-
-
- 100 1 _ ‡a McAllester, David A.
- 100 1 _ ‡a McAllester, David A.
- 100 1 _ ‡a McAllester, David, ‡d 1956-....
4xx's: Alternate Name Forms (9)
Works
Title | Sources |
---|---|
Automated deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 : proceedings | |
CADE-17 | |
Logic programming and automated reasoning : 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 : proceedings | |
LPAR'99 | |
ONTIC : a knowledge representation system for mathematics | |
Ontic, c1988: | |
Uncertainty in artificial intelligence : proceedings of the Twenty-fourth Conference [on uncertainty in artificial intelligence] (2008), July 9-12, 2008, Helsinki, Finland |