Picture 1 of 1
Rippling: Meta-Level Guidance for Mathematical Reasoning
by Bundy, Alan; Basin, David; Hutter,... | HC | Good
Condition:
“Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, ”... Read moreabout condition
Postage:
Estimated between Tue, 21 May and Fri, 24 May to 43230
Located in: Aurora, Illinois, United States
Returns:
Payments:
Shop with confidence
Seller information
- 99% positive Feedback
Registered as a business seller
Seller assumes all responsibility for this listing.
eBay item number:145616408750
Item specifics
- Condition
- Good
- Seller notes
- Binding
- Hardcover
- Weight
- 1 lbs
- Product Group
- Book
- IsTextBook
- No
- ISBN
- 9780521834490
- Publication Name
- Rippling : Meta-Level Guidance for Mathematical Reasoning
- Item Length
- 9.3in
- Publisher
- Cambridge University Press
- Publication Year
- 2005
- Series
- Cambridge Tracts in Theoretical Computer Science Ser.
- Type
- Textbook
- Format
- Hardcover
- Language
- English
- Item Height
- 0.7in
- Item Width
- 6.2in
- Item Weight
- 16.8 Oz
- Number of Pages
- 216 Pages
About this product
Product Information
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.
Product Identifiers
Publisher
Cambridge University Press
ISBN-10
052183449x
ISBN-13
9780521834490
eBay Product ID (ePID)
7038623177
Product Key Features
Publication Name
Rippling : Meta-Level Guidance for Mathematical Reasoning
Format
Hardcover
Language
English
Publication Year
2005
Series
Cambridge Tracts in Theoretical Computer Science Ser.
Type
Textbook
Number of Pages
216 Pages
Dimensions
Item Length
9.3in
Item Height
0.7in
Item Width
6.2in
Item Weight
16.8 Oz
Additional Product Features
Series Volume Number
Series Number 56
Lc Classification Number
Qa76.9.A96 B84 2005
Table of Content
Preface; 1. An introduction to rippling; 2. Varieties of rippling; 3. Productive use of failure; 4. A formal account of rippling; 5. The scope and limitations of rippling; 6. From rippling to a general methodology; 7. Conclusions; Appendix 1. An annotated calculus and a unification algorithm; Appendix 2. Definitions of functions used in this book; Bibliography; Index.
Copyright Date
2005
Target Audience
Scholarly & Professional
Topic
Intelligence (Ai) & Semantics, General, Logic
Lccn
2004-051866
Dewey Decimal
006.3/33
Dewey Edition
22
Illustrated
Yes
Genre
Computers, Mathematics
Item description from the seller
Seller assumes all responsibility for this listing.
eBay item number:145616408750
Postage and handling
Item location:
Aurora, Illinois, United States
Posts to:
Afghanistan, Albania, Algeria, American Samoa, Andorra, Angola, Anguilla, Antigua and Barbuda, Argentina, Armenia, Aruba, Australia, Austria, Azerbaijan Republic, Bahamas, Bahrain, Bangladesh, Belarus, Belgium, Belize, Benin, Bermuda, Bhutan, Bolivia, Bosnia and Herzegovina, Botswana, Brazil, British Virgin Islands, Brunei Darussalam, Bulgaria, Burkina Faso, Burundi, Cambodia, Cameroon, Canada, Cape Verde Islands, Cayman Islands, Central African Republic, Chad, Chile, China, Colombia, Comoros, Cook Islands, Costa Rica, Cyprus, Czech Republic, Côte d'Ivoire (Ivory Coast), Democratic Republic of the Congo, Denmark, Djibouti, Dominica, Dominican Republic, Ecuador, Egypt, El Salvador, Equatorial Guinea, Eritrea, Estonia, Ethiopia, Falkland Islands (Islas Malvinas), Fiji, Finland, France, Gabon Republic, Gambia, Georgia, Germany, Ghana, Gibraltar, Greece, Greenland, Grenada, Guam, Guatemala, Guernsey, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hong Kong, Hungary, Iceland, India, Indonesia, Iraq, Ireland, Israel, Italy, Jamaica, Japan, Jersey, Jordan, Kazakhstan, Kenya, Kiribati, Kuwait, Kyrgyzstan, Laos, Latvia, Lebanon, Lesotho, Liberia, Liechtenstein, Lithuania, Luxembourg, Macau, Macedonia, Madagascar, Malawi, Malaysia, Maldives, Mali, Malta, Marshall Islands, Mauritania, Mauritius, Mayotte, Mexico, Micronesia, Moldova, Monaco, Mongolia, Montenegro, Montserrat, Morocco, Mozambique, Namibia, Nauru, Nepal, Netherlands, Netherlands Antilles, New Zealand, Nicaragua, Niger, Nigeria, Niue, Norway, Oman, Pakistan, Palau, Panama, Papua New Guinea, Paraguay, Peru, Philippines, Poland, Portugal, Puerto Rico, Qatar, Republic of Croatia, Republic of the Congo, Romania, Rwanda, Saint Helena, Saint Kitts-Nevis, Saint Lucia, Saint Pierre and Miquelon, Saint Vincent and the Grenadines, San Marino, Saudi Arabia, Senegal, Serbia, Seychelles, Sierra Leone, Singapore, Slovakia, Slovenia, Solomon Islands, Somalia, South Africa, South Korea, Spain, Sri Lanka, Suriname, Svalbard and Jan Mayen, Swaziland, Sweden, Switzerland, Taiwan, Tajikistan, Tanzania, Thailand, Togo, Tonga, Trinidad and Tobago, Tunisia, Turkey, Turkmenistan, Turks and Caicos Islands, Tuvalu, Uganda, United Arab Emirates, United Kingdom, Uruguay, Uzbekistan, Vanuatu, Vatican City State, Vietnam, Virgin Islands (U.S.), Wallis and Futuna, Western Sahara, Western Samoa, Worldwide, Yemen, Zambia, Zimbabwe
Excludes:
Barbados, French Guiana, French Polynesia, Guadeloupe, Libya, Martinique, New Caledonia, Reunion, Russian Federation, Ukraine, Venezuela
Postage and handling | To | Service | Delivery*See delivery notes |
---|---|---|---|
Free postage | United States | Economy Shipping | Estimated between Tue, 21 May and Fri, 24 May to 43230 |
US $15.99 (approx. AU $23.95) | United States | Expedited Shipping | Estimated on or before Mon, 20 May to 43230 |
Taxes |
---|
Seller charges sales tax in |
Sales tax for an item #145616408750
Sales tax for an item #145616408750
Seller collects sales tax for items posted to the following states:
State | Sales tax rate |
---|---|
Missouri (MO) | 8.238% |
Return policy
Item must be returned within | Refund will be given as |
---|---|
30 days after the buyer receives it | Money back |
The seller is responsible for return postage costs.
You must return items in their original packaging and in the same condition as when you received them. If you don't follow our item condition policy for returnsitem condition policy for returns, you may not receive a full refund.
Refunds by law: In Australia, consumers have a legal right to obtain a refund from a business if the goods purchased are faulty, not fit for purpose or don't match the seller's description. More information at returnsreturns - opens in a new window or tab.
Payment details
Payment methods
Seller Feedback (5,185,877)
z***z (602)- Feedback left by buyer.
Past 6 months
Verified purchase
🏆 SUPER STAR 🤩 AMAZING PHOTOS 🎯 ACCURATE DESCRIPTION ✏️ GENUINE PRODUCTS 💎 HIGH QUALITY 🍯 SUPER PRICES 💰 EASY TO WORK WITH 🍰 ECONOMY HANDLING ⏱️ FAST SHIPPING 🚀 BUBBLE PACKAGE 📦 ARRIVED WITHIN DAYS 🌎 EXCEPTIONAL COMMUNICATION 🎙️ OUTSTANDING CUSTOMER SERVICE 🛎️ GREAT SENSE OF HUMOR 🍿 TOTAL ASSET TO THE EBAY-ECO SYSTEM 🥇 SAVED SELLER 🎱 PROMT REPLY FOR RETURNS 🎯 WOULD BUY FROM AGAIN 🧲 UNDER PROMISES OVER DELIVERS ⛳️ MADE ME VERY HAPPY 🌈 LEFT POSITIVE FEEDBACK 🌼 THANK YOU! 😇 A+++
u***2 (267)- Feedback left by buyer.
Past month
Verified purchase
Outstanding seller. Fair prices that are more than reasonable in this economy. The product is in better condition than described, a true value for my money.
Packaged and shipped well shows seller has concern for the products sold to arrive in excellent condition. The seller communicated timely with progress. Highly recommend this seller & will do business again. Thank you!!⭐️⭐️⭐️⭐️⭐️
a***r (326)- Feedback left by buyer.
Past month
Verified purchase
thrift.books is an awesome place to purchase books! excellent communication! often the books arrive in better condition than described. ships very fast & the books arrive quickly! carefully packaged! +AAAAAAAAAA ebay sellers. i highly recommend thrift.books for people wanting to purchase books! reaasonable prices and shipping costs!
Product ratings and reviews
More to explore:
- Mathematics School Workbooks Guides,
- Mathematics Dictionaries & Reference Books,
- Mathematics School Revised Edition,
- Mathematics Adult Learning & University Books,
- Mathematics Dictionaries & Reference Books in English,
- Mathematics School 1950-1999 Publication Year,
- Mathematics School 2000-2009 Publication Year,
- Mathematics School Textbooks & Study Guides in English,
- Oxford University Press Mathematics Adult Learning & University Books,
- Mathematics School Textbooks & Study Guides in English Loose-Leaf