Tallenna
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.
- Alaotsikko
- 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers
- Toimittaja
- Edmund M. Clarke, Andrei Voronkov
- ISBN
- 9783642175107
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 4.1.2011
- Sivumäärä
- 517
