David McAllester

David McAllester

1 books in the database

Books

Automated Deduction - CADE-17David McAllester

Automated Deduction - CADE-17

David McAllester · 2006

Co-authored books and collections

Books that list David McAllester among their authors but not as the lead author: co-written works, collections and compilations.

Logic for programming and automated reasoningHarald Ganzinger

Logic for programming and automated reasoning

Harald Ganzinger · 1999