
Logic for Programming, Artificial Intelligence, and Reasoning
- Undertittel
- 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings
- Redaktør
- Nikolaj Bjørner, Andrei Voronkov
- ISBN
- 9783642287169
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 24.2.2012
- Antall sider
- 446
