عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
3642175112
9783642175114
b547411
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.
Edmund M. Clarke, Andrei Voronkov (eds.).
Andrei Voronkov
Edmund M Clarke, Jr.
مطالعه متن کتاب [Book]
Y
