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...
|Other Authors:||, , ,|
Berlin ; Heidelberg :
Springer Berlin Heidelberg,
|Series:||Lecture Notes in Computer Science
|Online Access:||Get full text|
No Tags, Be the first to tag this record!