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 106.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Fehnker, Ansgar (Hrsg.) / McIver, Annabelle (Hrsg.) / Voronkov, Andrei (Hrsg.)
- ISBN: 978-3-662-48899-7
- EAN: 9783662488997
- Produktnummer: 33366926
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2015
- Seitenangabe: 640 S.
- Plattform: PDF
- Masse: 22'680 KB
- Abbildungen: 142 farbige Abbildungen, Bibliographie
- Reihenbandnummer: 9450
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