Logic for programming, artificial intelligence, and reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, proceedings /
This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions and experimental papers included in this volume were...
| Corporate Authors: | LPAR (Conference) Stellenbosch, South Africa) |
|---|---|
| Other Authors: | LPAR (Conference), McMillan, Ken., Middeldorp, Aart, 1963-, Voronkov, Andrei, 1959-, SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Heidelberg :
Springer,
[2013]
|
| Physical Description: |
1 online resource (xiv, 794 pages) : illustrations. |
| Series: |
Lecture notes in computer science ;
8312. LNCS sublibrary. Theoretical computer science and general issues. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |