Bernhard Gramlich All Books | sku-591889976: IJCAR

This All Books listing for Bernhard Gramlich, SKU sku-591889976, is a paperback of Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings. The author is listed as Springer. ISBN: 9783642313646. Publication date: 2012-06-20. Page count: 568.