|
|
Rippling: Meta-Level Guidance for Mathematical Reasoning
A unique, systematic and comprehensive introduction to rippling and to the wider subject of automated inductive theorem proving.
EAN/ISBN : 9780511111853
Publisher(s): Cambridge University Press
Forma... |
 |
|
|
| Download PDF |
| Rippling: Meta-Level Guidance for Mathematical Reasoning |
|
