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