The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis - Softcover

Inhaltsangabe

Bereitstellung asymptotischer Schranken für die Größe von Suchfeldern der von vielen gebräuchlichen Beweisstrategien erzeugten Suchräume - Gewinnung eines theoretischen Verständnisses der Effizienz unterschiedlicher Beweisverfahren - Effizienzvergleich von Beweisstrategien Asymptotic bounds on the sizes of the search spaces generated by many common theorem proving strategies - gaining a theoretical understanding of the efficiencies of many different theorem proving methods - a comparative study of theorem proving strategies

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.