Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, Lpar-1
: Christian G. Fermller/Andrei Voronkov
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.
レビュー(0件)