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