Rippling : meta-level guidance for mathematical reasoning

Author(s)
Bibliographic Information

Rippling : meta-level guidance for mathematical reasoning

Alan Bundy ... [et al.]

(Cambridge tracts in theoretical computer science, 56)

Cambridge University Press, 2005

  • : hbk

Search this Book/Journal
Note

Includes bibliographical references and index

HTTP:URL=http://www.loc.gov/catdir/toc/cam051/2004051866.html Information=Table of contents

HTTP:URL=http://www.loc.gov/catdir/description/cam051/2004051866.html Information=Publisher description

Related Books: 1-1 of 1
Details
Page Top