کتاب های David Mcallester
Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings
Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.), 1999
Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings
Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.), 1999
Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings
John Harrison (auth.), David McAllester (eds.), 2000
