
Automated Reasoning
- Alaotsikko
- 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
- Toimittaja
- Bernhard Gramlich, Dale Miller, Ulrike Sattler
- ISBN
- 9783642313646
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 20.6.2012
- Sivumäärä
- 568