Logic for programming, artificial intelligence, and reasoning :
نام عام مواد
[Book]
ساير اطلاعات عنواني
16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers
نام نخستين پديدآور
Edmund M. Clarke, Andrei Voronkov (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
2010
مشخصات ظاهری
نام خاص و کميت اثر
(x, 516 pages) : illustrations
فروست
عنوان فروست
Lecture notes in computer science, 6355.; Lecture notes in computer science., Lecture notes in artificial intelligence.; LNCS sublibrary., SL 7,, Artificial intelligence.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, whichtook place in Dakar, Senegal, in April/May 2010.
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
LPAR-16
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Informatique.
موضوع مستند نشده
Logic programming -- Congresses.
موضوع مستند نشده
Logic programming.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )