David A. Plaisted
Articoli popolari di David A. Plaisted
Visualizza tutte le offerte-
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis
Plaisted, David A.; Zhu, Yunshan
Prezzi articolo a partire da
Visualizza 26 offerteEUR 5,84
