
Automated Reasoning
- Undertittel
- 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
- Redaktør
- Jürgen Giesl, Reiner Hähnle
- Opplag
- 2010 ed.
- ISBN
- 9783642142024
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 30.6.2010
- Antall sider
- 536
