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:
Corporate Author: SpringerLink (online služba)
Other Authors: McMillan, Ken (Editor), Middeldorp, Aart (Editor), Voronkov, Andrei (Editor)
Format: eBook
Language:English
Published: Berlin ; Heidelberg : Springer Berlin Heidelberg, 2013
Series:Lecture Notes in Computer Science
Genre/form:elektronické knihy
ISBN:978-3-642-45221-5
9783642452208
Subjects:
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

Get full text
Status Sublibrary Description Location LCC Callnumber Old Callnumber