Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE), Manchester, UK, June 30, 2012

Tagungsband

Herausgeber:Vladimir Klebanov and Bernhard Beckert and Armin Biere and Geoff Sutcliffe
Verleger:CEUR-WS.org
Reihe:CEUR Workshop Proceedings
Band:873
Jahr:2012
URL:http://ceur-ws.org/Vol-873

BibTeX

@proceedings{KlebanovBBS12,
  editor    = {Vladimir Klebanov and Bernhard Beckert and Armin Biere and Geoff Sutcliffe},
  title     = {Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE), Manchester, UK, June 30, 2012},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {873},
  year      = {2012},
  url       = {http://ceur-ws.org/Vol-873}
}