Preface

Vladimir Klebanov, Bernhard Beckert, Armin Biere, Geoff Sutcliffe

Research output: Contribution to journalEditorial

Original languageEnglish (US)
Pages (from-to)iii
JournalCEUR Workshop Proceedings
Volume873
StatePublished - Dec 1 2012
Externally publishedYes
Event1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, COMPARE 2012 - Manchester, United Kingdom
Duration: Jun 30 2012Jun 30 2012

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Klebanov, V., Beckert, B., Biere, A., & Sutcliffe, G. (2012). Preface. CEUR Workshop Proceedings, 873, iii.