Logic for Programming, Artificial Intelligence, and Reasoning
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
(Sprache: Englisch)
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...
The 43 regular papers presented together with 1...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Logic for Programming, Artificial Intelligence, and Reasoning “
Klappentext zu „Logic for Programming, Artificial Intelligence, and Reasoning “
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 results, to discuss advances in these fields, andto exchange ideas in a scientifically emerging part of the world.
Bibliographische Angaben
- 2015, 1st ed. 2015, XV, 640 Seiten, 640 farbige Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
- Verlag: Springer, Berlin
- ISBN-10: 3662488981
- ISBN-13: 9783662488980
- Erscheinungsdatum: 03.12.2015
Sprache:
Englisch
Kommentar zu "Logic for Programming, Artificial Intelligence, and Reasoning"
Schreiben Sie einen Kommentar zu "Logic for Programming, Artificial Intelligence, and Reasoning".
Kommentar verfassen