- Start
- The Efficiency of Theorem Proving Strategies
The Efficiency of Theorem Proving Strategies
Angebote / Angebote:
This book is unique in that it gives asymptotic bounds on the sizes of the search spaces generated by many common theorem proving strategies. Thus it permits one to gain a theoretical unterstanding of the efficiencies of many different theorem proving methods. This is a fundamental tool in the comparative study of theorem proving strategies. The second edition is slightly revised, a few errors have been fixed, and some references to related works have been added.
Folgt in ca. 5 Arbeitstagen
Preis
69,00 CHFVerfügbarkeit:
LieferbarArtikel, die Sie kürzlich angesehen haben
Folgt in ca. 10 Arbeitstagen
Folgt in ca. 15 Arbeitstagen
Fremdlagertitel. Lieferzeit unbestimmt
