
Automated Reasoning
- Undertitel
- 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
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2012-06-20
- Sidor
- 568
