Abstraction, Reformulation, and Approximation 5th International Symposium, Sara 2002, Kananaskis, Alberta, Canada, August 2002 Proceedings
$69.95
9%off
$6.56
days for Media Mail
delivery. Brand New,
Perfect Condit... [more] Please allow 4-14 business
days for Media Mail
delivery. Brand New,
Perfect Condition, 100%
Money Back Guarantee, Over
1,000,000 customers served [less]
Own This Book? Sell It
9783540439417
ISBN:3540439412
Publisher: Springer Summary: This book constitutes the refereed proceedings of the 5th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2002, held in Kananaskis, Alberta, Canada, in August 2002.The 15 revised full papers and 6 short papers were carefully reviewed and selected for inclusion in the book. Also included are 4 invited papers and 14 abstracts. All current aspects of abstraction, reformulation, and approxi [read more]- 30-Day No-Hassle Returns
- Fast, Same-Day Customer Service
- The Best Prices on Textbook Rentals
- Find student loan options quickly and easily
- Compare loans to find the best fit for you
- Apply for the loan that meets your needs
9783540439417
ISBN:
3540439412
Publisher: Springer
This book constitutes the refereed proceedings of the 5th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2002, held in Kananaskis, Alberta, Canada, in August 2002.The 15 revised full papers and 6 short papers were carefully reviewed and selected for inclusion in the book. Also included are 4 invited papers and 14 abstracts. All current aspects of abstraction, reformulation, and approximation in the context of human common-sense reasoning, problem solving, and efficiently reasoning in complex domains are addressed. Among the application fields of these techniques are automatic programming, constraint satisfaction, design, diagnosis, machine learning, search, planning, reasoning, game playing, scheduling, and theorem proving.
- Track your recent orders.
- See our shipping rates & policies.
- Return an item (here's our Return Policy).

