Rippling: Meta-Level Guidance for Mat

Rippling: Meta-Level Guidance for Mathematical Reasoning 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. Autor: Alan (University of Edinburgh) Bundy, David (ETH Zentrum Basin Wydawnictwo: Cambridge University Press Rok wydania: 2005 Okładka: twarda Liczba stron: 216 Wymiary: 23.7 x 15.8 x 1.9 cm Ilustracje: 1 Line drawings, unspecified; 10 Line drawings, color Język: angielski ISBN: 9780521834490