Description
About this book
Logic for Programming, Artificial Intelligence, and Reasoning — 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings. An English-language digital edition by Ken McMillan (Editor); Aart Middeldorp (Editor); Andrei Voronkov (Editor), available in PDF.
Edition details
- Author / contributors: Ken McMillan (Editor); Aart Middeldorp (Editor); Andrei Voronkov (Editor)
- Publisher: Springer Berlin Heidelberg
- Publication date: December 05, 2013
- Language: English
- ISBNs: 9783642452208; 9783642452215
- Digital formats: PDF





Reviews
There are no reviews yet.