The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analy
63,86 €
This is the second and slightly revised edition of this book. We analyze the search efficiency of a number of common refutational theorem proving strategies on propositional and near-propositional prob lems.
Jetzt bei Ebay:
