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...
Full description
Saved in:
Other Authors: |
McMillan, Ken,, Middeldorp, Aart, 1963-, Voronkov, Andrei, 1959-, SpringerLink (Online service) |
Format: |
eBook
|
Language: |
English
|
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint : Springer,
2013.
|
Physical Description: |
1 online resource (XIV, 794 pages 178 illustrations) : online resource.
|
Series: |
Lecture notes in computer science ;
8312.
|
Subjects: |
|