Alan Bundy, David Basin, Dieter Hutter and Andrew Ireland. Rippling: meta-level guidance for mathematical reasoning. Cambridge Tracts in Theoretical Computer Science, vol. 56. Cambridge University Press, 2005, xiv + 202 pp.
Joe Hurd · Bulletin of Symbolic Logic · 2006
Alan Bundy, David Basin, Dieter Hutter and Andrew Ireland. Rippling: meta-level guidance for mathematical reasoning. Cambridge Tracts in Theoretical Computer Science, vol. 56. Cambridge University Press, 2005, xiv + 202 pp. - Volume 12 Issue 3