Rippling Meta-Level Guidance for Mathematical Reasoning
| Author/creator | Bundy, Alan Author |
| Other author | Basin, David Author |
| Other author | Hutter, Dieter Author |
| Other author | Ireland, Andrew Author |
| Format | Electronic |
| Publication Info | New York : Cambridge University Press |
| Description | 216 p. ill 22.800 x 015.200 cm. |
| Supplemental Content | Full text available from eBooks on EBSCOhost |
| Subjects |
| Series | Cambridge Tracts in Theoretical Computer Science Ser. Vol. 56 |
| Summary | Annotation 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. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2004051866 |
| ISBN | 9780521834490 |
| ISBN | 052183449X (Trade Cloth) Active Record |
| Standard identifier# | 9780521834490 |
| Stock number | 00004933 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |