
Logic for Programming, Artificial Intelligence, and Reasoning
- Undertitel
- 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings
- Redaktör
- Nikolaj Bjørner, Andrei Voronkov
- ISBN
- 9783642287169
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2012-02-24
- Sidor
- 446
