Spara
Logic for Programming, Artificial Intelligence, and Reasoning
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.
- Undertitel
- 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers
- Redaktör
- Edmund M. Clarke, Andrei Voronkov
- ISBN
- 9783642175107
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2011-01-04
- Sidor
- 517
