David A. McAllester
3 published titles
Ontic : a knowledge representation system for mathematics
1 edition
- ISBN: 0262132354
- MIT Press
- 1989
- Details
Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
(Contributor)
1 edition
- ISBN: 3540664920
- Springer
- 1999
- Details
Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, Pa, USA, June 17-20, 2000 : proceedings
(Contributor)
1 edition
- ISBN: 3540676643
- Springer
- 2000
- Details
