Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 5.49 € GLS courier 10.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Abstraction, Reformulation and Approximation

Name: Abstraction, Reformulation and Approximation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01560896
Price: 51.34 EUR
Availability: InStock
Author: Jean-Daniel Zucker
ISBN: 9783540278726

6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings

Jean-Daniel Zucker

Lorenza Saitta

Language

English

Book Paperback

Libristo code: 01560896

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, July 2005

This book constitutes the refereed proceedings of the 6th International Symposium on Abstraction, Re... Full description

Libristo code: 01560896

125 b

51.34 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Educación sexual escolar. Ciclo inicial MENA

Book

12.35 €

Pinokio. Lektura z opracowaniem Carlo Collodi

Hardback

4.51 €

Literarische Herbstnächte Rainer Maria Rilke

Audio CD

11.65 €

Mann, der Donnerstag war Gilbert Keith Chesterton

Hardback

15.06 €

LE TRAIN BLEU CHRISTIE

Paperback

10.54 €

Circe, Tragedie . Ornee de Machines, de Changemens de Theatre, & de Musique . (Ed.1675) Sans Auteur

Paperback

14.36 €

Facility Location and related Problems Martin Romauch

Paperback

61.89 €

Zwei außer Rand und Band, 1 DVD Euginio Alabiso

DVD

12.35 €

Tulipe Noire Alexandre Dumas p

Paperback

13.36 €

Vorratsbeschaffung der OEM als Teil des Logistikkonzepts der Automobilzulieferer Marlon Heuer

Paperback

16.97 €

Varietes Kähleriennes Compactes Alain Lascoux

Paperback

20.69 €

This book constitutes the refereed proceedings of the 6th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2005, held in Airth Castle, Scotland, UK in July 2005.§The 17 revised full papers and 8 extended abstracts were carefully reviewed and selected for inclusion in the book. Also included are 3 invited papers and 8 research summaries. 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.