Vladimir Klebanov, Bernhard Beckert, Armin Biere, Geoff Sutcliffe

Research output: Contribution to journalEditorialpeer-review

Original languageEnglish (US)
Pages (from-to)iii
JournalCEUR Workshop Proceedings
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