David A. McAllester
Articles populaires de David A. McAllester
Afficher toutes les offres-
ONTIC: A Knowledge Representation System for Mathematics
McAllester, David A.
Prix des articles à partir de
Afficher les 6 offresEUR 25,10
-
Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
Prix des articles à partir de
Afficher les 19 offresEUR 59,34
