Rippling : meta-level guidance for mathematical reasoning
Material type: TextPublication details: Cambridge University Press 2005 Description: 202Subject(s): Automatic theorem proving | Logic, Symbolic and mathematicalItem type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | Central Library | 006.333 RIP (Browse shelf(Opens below)) | 1 | Available | 6181 |
Total holds: 0
Browsing Central Library shelves Close shelf browser (Hides shelf browser)
SAR/07/2009/20-04-09
There are no comments on this title.