Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
Paperback Published on: 20/06/2012
Price: £44.99
Publisher information
- Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN: 9783642313646
- Number of pages: 568
- Dimensions: 235 x 155 mm
- Languages: English

