Logic For Programming, Artificial Intelligence, And Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | December 7, 2010 |
| Editors | Andrei Voronkov |
| Edmund M. Clarke | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2175766 |
About Logic For Programming, Artificial Intelligence, And Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, which took place in Dakar, Senegal, in April/May 2010. . . .