Logic for programming, artificial intelligence, and reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings / Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov (Eds.)
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...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , , , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Heidelberg :
Springer,
[2015]
|
| Series: | Lecture notes in computer science ;
9450. |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.758
|
|---|---|
| QA76.758 | Available |