Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, Lpar-19, Stellenbosch, South Africa, December 14-19, 201

by Ken McMillan

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 carefully reviewed and selected from 152 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning...

• Format: Paperback
• Language: English
• ISBN: 3642452205
• ISBN13: 9783642452208
• Release Date: December 2013
• Publisher: Springer
• Length: 794 Pages
• Weight: 2.45 lbs.
• Dimensions: 1.6" x 6.1" x 9.2"