David A. McAllester
Articoli popolari di David A. McAllester
Visualizza tutte le offerte-
Ontic: A Knowledge Representation System for Mathematics
McAllester, David A.
Prezzi articolo a partire da
Visualizza 6 offerteEUR 25,10
-
Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings: 1831
Prezzi articolo a partire da
Visualizza 19 offerteEUR 61,63
