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