Sommarrea - Upp till 60 % rabatt
Alla 1s utgivelser på David A. Plaisted
Kategorier
Annan
Kundservice
SEK
![Cover for David A. Plaisted · The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Pocketbok) [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-pocketbok&class=scaled&v=1409924283)