D. M. · David A. McAllester · David M. · David P. McAllester
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings | 978-3-540-67664-5 (3-540-67664-3) | 2000 | |
| Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings | 978-3-540-66492-5 (3-540-66492-0) | 2008 | Harald Ganzinger · Andrei Voronkov |