Rippling: Meta-Level Guidance for Mathematical Reasoning
By: Bundy, A. et.al.
Material type: BookSeries: Cambridge Tracts in Theoretical Computer Science no. 56.Publisher: Cambridge Cambridge University Press 2005Description: xiii, 202p.ISBN: 978-0-521-83449-0.Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
006.333 BUN (Browse shelf) | Available | 506576 |
There are no comments for this item.