
Logic for Programming, Artificial Intelligence, and Reasoning
- Alaotsikko
- 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings
- Toimittaja
- Nikolaj Bjørner, Andrei Voronkov
- ISBN
- 9783642287169
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 24.2.2012
- Sivumäärä
- 446