Rippling: Meta-level Guidance for Mathematical Reasoning
Alan Bundy; David Basin; Dieter Hutter; Andrew Ireland
Cambridge University Press, 2005.
Rippling: Meta-level Guidance for Mathematical Reasoning
@book{pub1879,
author = {
Bundy, Alan
and
Basin, David
and
Hutter, Dieter
and
Ireland, Andrew
},
title = {Rippling: Meta-level Guidance for Mathematical Reasoning},
year = {2005},
publisher = {Cambridge University Press}
}