
Automated Reasoning
- Alaotsikko
- 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
- Toimittaja
- Jürgen Giesl, Reiner Hähnle
- Painos
- 2010 ed.
- ISBN
- 9783642142024
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 30.6.2010
- Sivumäärä
- 536