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 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji. The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and...

Full description

Saved in:
Corporate Author: SpringerLink (online služba)
Other Authors: Davis, Martin (Editor), Fehnker, Ansgar (Editor), McIver, Annabelle (Editor), Voronkov, Andrei (Editor)
Format: eBook
Language:English
Published: Berlin ; Heidelberg : Springer Berlin Heidelberg, 2015
Series:Lecture Notes in Computer Science
Genre/form:elektronické knihy
ISBN:978-3-662-48899-7
9783662488980
Subjects:
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

Get full text
Status Sublibrary Description Location LCC Callnumber Old Callnumber