01
Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Lecture Notes in Computer Science)
The earliest high-confidence catalog date in this author overview is 1999.
Author
David McAllester
2 cataloged contributions
1999–2006 across 2 high-confidence dated works
This record does not have a biography yet.
Know something we should add or correct? Suggest a correction.
A way in
Start with
A considered starting point for reading David McAllester, drawn from catalog context and salon activity when available.
02
Automated Deduction - CADE-17 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
A clearly attributed work with a supported 2006 catalog date.
The catalog
Bibliography
2 works
Core ranking is using the catalog’s provisional quality order while the versioned ranking population is prepared.
2 cataloged editions
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
2 cataloged editions
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0