3 works Add another?
Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random
Showing all works by author. Would you like to see only ebooks?
Subjects
Artificial intelligence, Automatic theorem proving, Computer science, Congresses, Démonstration automatique, Knowledge representation (Information theory), Logic design, Logic, symbolic and mathematical, Ontic (Computer system), Ontic (Système informatique), Symbolic and mathematical Logic, ThéorèmesID Numbers
- OLID: OL947566A
Links (outside Open Library)
No links yet. Add one?
Alternative names
- David McAllester
- David Allen McAllester
September 30, 2020 | Edited by MARC Bot | add ISNI |
March 31, 2017 | Edited by MARC Bot | add VIAF and wikidata ID |
October 14, 2010 | Edited by Sarah Breau | Added bio, added Wikipedia link |
October 14, 2010 | Edited by Sarah Breau | Added new photo |
October 14, 2010 | Edited by Sarah Breau | Added alternate names |