Preface

Vladimir Klebanov; Bernhard Beckert; Armin Biere; Geoff Sutcliffe

Preface

Vladimir Klebanov, Bernhard Beckert, Armin Biere, Geoff Sutcliffe

Research output: Contribution to journal › Editorial › peer-review

Original language	English (US)
Pages (from-to)	iii
Journal	CEUR Workshop Proceedings
Volume	873
State	Published - Dec 1 2012
Externally published	Yes
Event	1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, COMPARE 2012 - Manchester, United Kingdom Duration: Jun 30 2012 → Jun 30 2012

ASJC Scopus subject areas

Computer Science(all)

Access to Document

Cite this

@article{c6f2284734384f6786663f414ad6655b,

title = "Preface",

author = "Vladimir Klebanov and Bernhard Beckert and Armin Biere and Geoff Sutcliffe",

year = "2012",

month = dec,

day = "1",

language = "English (US)",

volume = "873",

pages = "iii",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

note = "1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, COMPARE 2012 ; Conference date: 30-06-2012 Through 30-06-2012",

}

TY - JOUR

T1 - Preface

AU - Klebanov, Vladimir

AU - Beckert, Bernhard

AU - Biere, Armin

AU - Sutcliffe, Geoff

PY - 2012/12/1

Y1 - 2012/12/1

UR - http://www.scopus.com/inward/record.url?scp=84891806592&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84891806592&partnerID=8YFLogxK

M3 - Editorial

AN - SCOPUS:84891806592

VL - 873

SP - iii

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

SN - 1613-0073

T2 - 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, COMPARE 2012

Y2 - 30 June 2012 through 30 June 2012

ER -