
Automated Reasoning
- Undertittel
- 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
- Redaktør
- Bernhard Gramlich, Dale Miller, Ulrike Sattler
- ISBN
- 9783642313646
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 20.6.2012
- Antall sider
- 568
