Alta reperibilità
Rippling: Meta-Level Guidance for Mathematical Reasoning
Meta-Level Guidance for Mathematical Reasoning
- Editore:
Cambridge University Press
- EAN:
9780521834490
- ISBN:
052183449X
- Pagine:
- 216
- Formato:
- Hardback
- Lingua:
- Inglese
Acquistabile con
o la
Descrizione 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.
Disponibile in 10-12 giorni
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti