Abstraction, Reformulation, and Approximation
7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings
Herausgegeben:Miguel, Ian; Tuml, Wheeler
Abstraction, Reformulation, and Approximation
7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings
Herausgegeben:Miguel, Ian; Tuml, Wheeler
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
This is a subject that is as hot as a snake in a wagon rut, offering as it does huge potentiality in the field of computer programming. That¿s why this book, which constitutes the refereed proceedings of the 7th International Symposium on Abstraction, Reformulation, and Approximation, held in Whistler, Canada, in July 2007, will undoubtedly prove so popular among researchers and professionals in relevant fields. 26 revised full papers are presented, together with the abstracts of 3 invited papers and 13 research summaries.
- Sven Koenig / Robert Holte (eds.)Abstraction, Reformulation, and Approximation39,99 €
- Jean-Daniel Zucker / Lorenza Saitta (eds.)Abstraction, Reformulation and Approximation39,99 €
- Berthe Y. Choueiry / Toby Walsh (eds.)Abstraction, Reformulation, and Approximation40,99 €
- Michel Parigot / Andrei Voronkov (eds.)Logic for Programming and Automated Reasoning39,99 €
- Rajeev Gore / Alexander Leitsch / Tobias Nipkow (eds.)Automated Reasoning80,99 €
- Bernhard Beckert (ed.)Automated Reasoning with Analytic Tableaux and Related Methods39,99 €
- Michael Fisher / Wiebe van der Hoek / Boris Konev / Alexei LisitsaLogics in Artificial Intelligence39,99 €
-
-
-
- Produktdetails
- Lecture Notes in Computer Science 4612
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 12089598, 978-3-540-73579-3
- 2007
- Seitenzahl: 432
- Erscheinungstermin: 4. Juli 2007
- Englisch
- Abmessung: 235mm x 155mm x 24mm
- Gewicht: 651g
- ISBN-13: 9783540735793
- ISBN-10: 3540735798
- Artikelnr.: 22959743
- Lecture Notes in Computer Science 4612
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 12089598, 978-3-540-73579-3
- 2007
- Seitenzahl: 432
- Erscheinungstermin: 4. Juli 2007
- Englisch
- Abmessung: 235mm x 155mm x 24mm
- Gewicht: 651g
- ISBN-13: 9783540735793
- ISBN-10: 3540735798
- Artikelnr.: 22959743