sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000378629135 | 1 hits
Person
ISNI: 
0000 0003 7862 9135
Name: 
Mac Allester, David
MacAllester, David
MacAllester, David A.
Mc Allester, David
McAllester, David
McAllester, David A.
Dates: 
1956-...
Creation class: 
Language material
Text
Creation role: 
author
editor
Related names: 
Bilmes, Jeff
Cambridge
Ganzinger, H. (1950-)
Ganzinger, Harald
Ganzinger, Harald (1950-)
Myllymäki, Petri
Ng, Andrew Y.
Parr, Ronald
Voronkov, Andrei (1959-)
Titles: 
Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings
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
Notes: 
Mass., MIT Artificial Intelligence Laboratory, Diss--Cambridge
Sources: 
BOWKER
NTA