TY  - BOOK
AU  - Davis,Martin
AU  - Fehnker,Ansgar
AU  - McIver,Annabelle
AU  - Voronkov,Andrei
ED  - SpringerLink (Online service)
TI  - Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783662488997
AV  - QA76.758 
U1  - 005.1 23
PY  - 2015///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg, Imprint: Springer
KW  - Computer Science
KW  - Computer programming
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computer logic
KW  - Mathematical logic
KW  - Artificial intelligence
KW  - Software Engineering
KW  - Artificial Intelligence (incl. Robotics)
KW  - Logics and Meanings of Programs
KW  - Mathematical Logic and Formal Languages
KW  - Programming Techniques
KW  - Programming Languages, Compilers, Interpreters
N2  - 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 selected from 92 submissions. 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, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world
UR  - http://dx.doi.org/10.1007/978-3-662-48899-7
ER  -