Sommerudsalg - Op til 60 % rabat
Alle 1 David A. Plaisted-udgivelser på Paperback Bog
Kategorier
Andet
Kundeservice
DKK
![Cover for David A. Plaisted · The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Paperback Bog) [2nd ed. 1999 edition] (1999)](https://imusic.b-cdn.net/images/item/original/742/9783528155742.jpg?david-a-plaisted-1999-the-efficiency-of-theorem-proving-strategies-a-comparative-and-asymptotic-analysis-paperback-bog&class=scaled&v=1409924283)