Tallenna
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.
- Alaotsikko
- 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
- Toimittaja
- Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
- Painos
- 1st ed. 2015
- ISBN
- 9783662488980
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 3.12.2015
- Sivumäärä
- 640
