The CADE ATP System Competition - CASC - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Geoff Sutcliffe. The CADE ATP System Competition - CASC. AI Magazine, 37(2):99-101, 2016. [doi]

@article{Sutcliffe16,
  title = {The CADE ATP System Competition - CASC},
  author = {Geoff Sutcliffe},
  year = {2016},
  url = {http://www.aaai.org/ojs/index.php/aimagazine/article/view/2620},
  researchr = {https://researchr.org/publication/Sutcliffe16},
  cites = {0},
  citedby = {0},
  journal = {AI Magazine},
  volume = {37},
  number = {2},
  pages = {99-101},
}

runs on WebDSL