附註:Includes bibliographical references (pages 193-199) and index.
Cover; Half-title; Series title; Title; Copyright; Dedication; Contents; Preface; Acknowledgments; 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; References; Index.
摘要: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.