- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
153,95 €
+ 307 points
Description
The automation of mathematical reasoning has been an important topic of research almost since computers were invented. The new technique of rippling, described here for the first time in book form, is designed to be an approach to mathematical reasoning that takes into account ideas of heuristics and searching. Rippling addresses the problem of combinatorial explosion which has proved a huge obstacle in the past, and the book offers a systematic and comprehensive introduction to this and to the wider subject of automated inductive theorem proving.
Spécifications
Parties prenantes
- Auteur(s) :
- Editeur:
Contenu
- Nombre de pages :
- 216
- Langue:
- Anglais
- Collection :
- Tome:
- n° 56
Caractéristiques
- EAN:
- 9780521834490
- Date de parution :
- 30-06-05
- Format:
- Livre relié
- Format numérique:
- Genaaid
- Dimensions :
- 155 mm x 236 mm
- Poids :
- 530 g
