Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings by Berthe Y. ChoueiryAbstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings by Berthe Y. Choueiry

Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay…

EditorBerthe Y. Choueiry

Paperback | July 17, 2000

Pricing and Purchase Info

$114.32 online 
$128.95 list price save 11%
Earn 572 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This book constitues the refereed proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2000, held at Lake LBJ, Texas, USA in July 2000. The nine revised full papers presented together with five extended abstracts, three posters, seven research summaries, and four invited papers were carefully reviewed and selected for inclusion in the book. The book addresses all current aspects of abstraction, reformulation, and approximation and applications in areas like automatic programming, constraint satisfaction, design, diagnosis, inductive logic programming, computational learning, planning, resource allocation, theorem proving, qualitative reasoning, relational databases, etc.
Title:Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay…Format:PaperbackDimensions:352 pages, 9.17 × 6.1 × 0 inPublished:July 17, 2000Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540678395

ISBN - 13:9783540678397

Look for similar items by category:

Reviews