Visi 1 David A. Plaisted izlaidumi pie Bog med blødt...t ryg
Kategorijas
Cits
Klientu apkalpošana
EUR
![Cover for David A. Plaisted · The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Paperback Book) [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-book&class=scaled&v=1409924283)