Tell your friends about this item:
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings - Lecture Notes in Computer Science 1st ed. 2015 edition
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings - Lecture Notes in Computer Science
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.
640 pages, 142 colour illustrations, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | December 3, 2015 |
| ISBN13 | 9783662488980 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 640 |
| Dimensions | 155 × 235 × 34 mm · 907 g |
| Language | German |
| Editor | Davis, Martin |
| Editor | Fehnker, Ansgar |
| Editor | McIver, Annabelle |
| Editor | Voronkov, Andrei |