Logic for Programming, Artificial Intelligence, and Reasoning
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
This book constitutes the proceedings of the 20thInternational Conference on Logic for Programming, Artificial Intelligence, andReasoning, LPAR-20, held in November 2015, in Suva, Fiji.The 43 regular papers presented together with 1 invitedtalk included in this volume were carefully reviewed and selected from 92submissions. The series of International Conferences on Logic for Programming,Artificial Intelligence and Reasoning, LPAR, is a forum where, year after year,some of the most renowned researchers in the areas of logic, automatedreasoning, computational logic, programming languages and their applicationscome to present cutting-edge resul…
Mehr
CHF 130.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Fehnker, Ansgar (Hrsg.) / McIver, Annabelle (Hrsg.) / Voronkov, Andrei (Hrsg.)
- ISBN: 978-3-662-48898-0
- EAN: 9783662488980
- Produktnummer: 19022477
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2015
- Seitenangabe: 656 S.
- Masse: H23.3 cm x B15.4 cm x D3.8 cm 990 g
- Auflage: 1st ed. 2015
- Abbildungen: Paperback
- Gewicht: 990
9 weitere Werke von Martin (Hrsg.) Davis:
Practical Injection Molding
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Ebook (PDF Format)
CHF 193.50
Bewertungen
Anmelden