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 Authors: |
LPAR (Conference) Suva, Fiji) |
| Other Authors: |
LPAR (Conference), Davis, Martin,, Fehnker, Ansgar,, McIver, Annabelle,, Voronkov, Andrei, 1959-, SpringerLink (Online service) |
| Format: |
eBook
|
| Language: |
English
|
| Published: |
Heidelberg :
Springer,
[2015]
|
| Physical Description: |
1 online resource.
|
| Series: |
Lecture notes in computer science ;
9450.
|
| Subjects: |
|