Bundy, A. et.al.
Rippling: Meta-Level Guidance for Mathematical Reasoning - Cambridge Cambridge University Press 2005 - xiii, 202p. - Cambridge Tracts in Theoretical Computer Science no. 56. .
978-0-521-83449-0
Rippling: Meta-Level Guidance for Mathematical Reasoning - Cambridge Cambridge University Press 2005 - xiii, 202p. - Cambridge Tracts in Theoretical Computer Science no. 56. .
978-0-521-83449-0