|
" Logic for programming, artificial intelligence, and reasoning : "
Edmund M. Clarke, Andrei Voronkov (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
727676
|
| Doc. No
|
:
|
b547411
|
| Main Entry
|
:
|
Edmund M. Clarke, Andrei Voronkov (eds.).
|
| Title & Author
|
:
|
Logic for programming, artificial intelligence, and reasoning : : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers\ Edmund M. Clarke, Andrei Voronkov (eds.).
|
| Publication Statement
|
:
|
Berlin: Springer, 2010
|
| Series Statement
|
:
|
Lecture notes in computer science, 6355.; Lecture notes in computer science., Lecture notes in artificial intelligence.; LNCS sublibrary., SL 7,, Artificial intelligence.
|
| Page. NO
|
:
|
(x, 516 pages) : illustrations
|
| ISBN
|
:
|
3642175112
|
|
|
:
|
: 9783642175114
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Informatique.
|
| Subject
|
:
|
Logic programming -- Congresses.
|
| Subject
|
:
|
Logic programming.
|
| Added Entry
|
:
|
Andrei Voronkov
|
|
|
:
|
Edmund M Clarke, Jr.
|
| Parallel Title
|
:
|
LPAR-16
|
| |