The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis Computational Intelligence Autor David A. Plaisted et al. 28 oct 1999 Paperback Preț: 326.13 lei 407.66 lei 6-8 săpt. -20%
