![](/img/cover-not-exists.png)
Rippling: Meta-Level Guidance for Mathematical Reasoning || An annotated calculus and a unification algorithm
Bundy, Alan, Basin, David, Hutter, Dieter, Ireland, AndrewVolume:
10.1017/CB
Year:
2005
Language:
english
DOI:
10.1017/cbo9780511543326.009
File:
PDF, 335 KB
english, 2005