Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, O
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings By Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (eds.)
2010 | 656 Pages | ISBN: 364216241X | PDF | 8 MB
2010 | 656 Pages | ISBN: 364216241X | PDF | 8 MB
This book constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, held in Yogyakarta, Indonesia, in October 2010. The 41 revised full papers presented were carefully reviewed and selected from 133 submissions.