| 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) | 1999 | Harald Ganzinger · Andrei Voronkov |
David M. · David MacLagan · David Maysles · David McAllister · David McCluggage · David McCluskey · David McCulloch · David McCullough · David McElligott · David McLees · David McLoughlin · David Michaelis · David Michaels · David Micklos · David P. McAllester