Shelfclass_id |
4.B.3 |
Sortkey |
BUNDY, ALAN |
Authors |
Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland |
Title |
Rippling: Meta-Level Guidance for Mathematical Reasoning |
Publisher |
Cambridge University Press |
Year |
2005 |
Languages |
eng |
Isbn |
052183449X |
Series |
Cambridge tracts in theoretical computer science |
Volume |
56 |
Description |
(hardback) xiv, 202 p. ill. 24 cm. |
Record date |
20090216 |
Location |
New York |
Keywords |
Automatic theorem proving, Logic, Symbolic and mathematical |
Urlnote |
Publisher description |
Urls |
http://www.loc.gov/catdir/description/cam051/2004051866.html |