Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings (Lecture Notes in Computer Science, Band 7364)

Proceedings

von: Bernhard Gramlich · Dale Miller · Ulrike Sattler

Taschenbuch

Details (Deutschland)

ISBN-13: 978-3-642-31364-6

ISBN-10: 3-642-31364-7

Springer · 2012