Rippling: Meta-Level Guidance for Mathematical Reasoning - Rilegato

Bundy, Alan; Basin, David; Hutter, Dieter; Ireland, Andrew

Rilegato

ISBN 10: 052183449X ISBN 13: 9780521834490

Casa editrice: Cambridge University Press, 2005

Riassunto

A unique, systematic and comprehensive introduction to rippling and to the wider subject of automated inductive theorem proving.

Su questo libro

Descrizione del libro

The new technique of rippling and its use in automated reasoning are described here. The method uses heuristics and search to help address the problem of combinatorial explosion. The book provides a unique, systematic and comprehensive introduction to this and to the wider subject of automated inductive theorem proving.

Contenuti

Preface; 1. An introduction to rippling; 2. Varieties of rippling; 3. Productive use of failure; 4. A formal account of rippling; 5. The scope and limitations of rippling; 6. From rippling to a general methodology; 7. Conclusions; Appendix 1. An annotated calculus and a unification algorithm; Appendix 2. Definitions of functions used in this book; Bibliography; Index.

Dettagli dell?edizione

• Editore: Cambridge University Press
• Data di pubblicazione: 2005
• ISBN 10: 052183449X
• ISBN 13: 9780521834490
• Rilegatura: Copertina rigida
• Lingua: Inglese
• Numero di pagine: 216
• Contatto del produttore: non disponibile