![](/img/cover-not-exists.png)
Rippling: Meta-Level Guidance for Mathematical Reasoning || Varieties of rippling
Bundy, Alan, Basin, David, Hutter, Dieter, Ireland, AndrewVolume:
10.1017/CB
Year:
2005
Language:
english
DOI:
10.1017/cbo9780511543326.003
File:
PDF, 408 KB
english, 2005