Spar
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.
- Undertittel
- 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
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 4.1.2011
- Antall sider
- 517
