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 43-57 zile -20%
