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.
