- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
The Efficiency of Theorem Proving Strategies
A Comparative and Asymptotic Analysis
David A Plaisted, Yunshan Zhu
€ 53,45
+ 106 punten
Omschrijving
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.
Specificaties
Betrokkenen
- Auteur(s):
- Uitgeverij:
Inhoud
- Aantal bladzijden:
- 172
- Taal:
- Engels
- Reeks:
Eigenschappen
- Productcode (EAN):
- 9783528155742
- Verschijningsdatum:
- 28/10/1999
- Uitvoering:
- Paperback
- Formaat:
- Trade paperback (VS)
- Afmetingen:
- 148 mm x 210 mm
- Gewicht:
- 244 g
Alleen bij Standaard Boekhandel
+ 106 punten op je klantenkaart van Standaard Boekhandel
Wedstrijd
Beoordelingen
We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.