Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012

Vladimir Klebanov, Bernhard Beckert, Armin Biere, Geoff Sutcliffe, editors, Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012. Volume 873 of CEUR Workshop Proceedings, CEUR-WS.org, 2012. [doi]

Conference: cade2012

Abstract

Abstract is missing.

Table of Contents