Knygos.lt nariams
83,57 €
-30%
Įprastai
119,39 €
The Efficiency of Theorem Proving Strategies
Knygos.lt nariams
83,57 €
-30%
Įprastai
119,39 €
- Išsiųsime per 12–18 d.d.
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 understanding of the efficiencies of many different theorem proving methods. This is a fundamental new tool in the comparative study of theorem proving strategies.
/images/books/13144536/9783528155742.jpg)
- Autorius: David A Plaisted
- Leidėjas: Vieweg+Teubner Verlag
- Metai: 1999
- Puslapiai: 172
- ISBN-10: 3528155744
- ISBN-13: 9783528155742
- Formatas: 14.8 x 21 x 1.1 cm, minkšti viršeliai
- Kalba: Anglų
The Efficiency of Theorem Proving Strategies (el. knyga) (skaityta knyga) | knygos.lt
Atsiliepimai
Aprašymas
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 understanding of the efficiencies of many different theorem proving methods. This is a fundamental new tool in the comparative study of theorem proving strategies.
Knygos.lt nariams
83,57 €
-30%
Įprastai
119,39 €
Išsiųsime per 12–18 d.d.
- Autorius: David A Plaisted
- Leidėjas: Vieweg+Teubner Verlag
- Metai: 1999
- Puslapiai: 172
- ISBN-10: 3528155744
- ISBN-13: 9783528155742
- Formatas: 14.8 x 21 x 1.1 cm, minkšti viršeliai
- Kalba: Anglų
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 understanding of the efficiencies of many different theorem proving methods. This is a fundamental new tool in the comparative study of theorem proving strategies.
Atsiliepimai