Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56

by Alan Bundy, David Basin, Dieter Hutter, and Andrew Ireland

0 ratings • 0 reviews • 0 shelved
Book cover for Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

  • ISBN10 6610458685
  • ISBN13 9786610458684
  • Publish Date 30 June 2005 (first published 1 January 2005)
  • Publish Status Active
  • Out of Print 29 December 2011
  • Publish Country US
  • Imprint Cambridge University Press
  • Edition Annotated edition
  • Format eBook
  • Pages 218
  • Language English