
Automated Reasoning
- Undertitel
- 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
- Redaktör
- Jürgen Giesl, Reiner Hähnle
- Upplaga
- 2010 ed.
- ISBN
- 9783642142024
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2010-06-30
- Sidor
- 536
