David A. McAllester
Popular items by David A. McAllester
View all offers-
Ontic: A Knowledge Representation System for Mathematics (The Mit Press Series in Artificial Intelligence)
McAllester, David A.
Item prices starting from
View 7 offersUS$ 28.89
-
Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
Item prices starting from
View 19 offersUS$ 70.94
