Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

Bernhard Gramlich, Dale Miller, Uli Sattler, editors, Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings. Volume 7364 of Lecture Notes in Computer Science, Springer, 2012. [doi]

Conference: cade2012

Editors

Bernhard Gramlich

This author has not been identified. It may be one of the following persons: Look up 'Bernhard Gramlich' in Google

Dale Miller

This author has not been identified. Look up 'Dale Miller' in Google

Uli Sattler

This author has not been identified. Look up 'Uli Sattler' in Google