2057032
9780521834490
Rippling Meta-Level Guidance for Mathematical Reasoning
by Bundy, Alan, Basin, David, Hutter, Dieter
31245
List Price
Discount
5% Off
You Save
$7.30
About this item
- Condition: New
- Provider: LightningBooks Contact
- Provider Rating: 85%
- Ships From: Multiple Locations
- Shipping: Standard, Expedited (tracking available)
- Comments: Fast shipping! All orders include delivery confirmation.
10983
List Price
Discount
88% Off
You Save
$117.00
About this item
- Condition: Good
- Provider: SequiturBooks Contact
- Provider Rating: 91%
- Ships From: Boonsboro, MD
- Shipping: Standard, Expedited
- Comments: Hardcover. Good binding and cover. Library markings. Clean, unmarked pages.
Product details
- ISBN-13: 9780521834490
- ISBN: 052183449X
- Publication Date: 2005
- Publisher: Cambridge University Press
AUTHOR
SUMMARY
The new technique of rippling and its use in automated reasoning are described here. The method uses heuristics and search to help address the problem of combinatorial explosion. The book provides a unique, systematic and comprehensive introduction to this and to the wider subject of automated inductive theorem proving.Bundy, Alan is the author of 'Rippling Meta-Level Guidance for Mathematical Reasoning', published 2005 under ISBN 9780521834490 and ISBN 052183449X.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
