A Report of ARCADE 2017. Reger, G. & Traytel, D. In Reger, G. & Traytel, D., editors, ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017, volume 51, of EPiC Series in Computing, pages 1–5, 2017. EasyChair.
A Report of ARCADE 2017 [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/cade/RegerT17,
  author    = {Giles Reger and
               Dmitriy Traytel},
  editor    = {Giles Reger and
               Dmitriy Traytel},
  title     = {A Report of {ARCADE} 2017},
  booktitle = {{ARCADE} 2017, 1st International Workshop on Automated Reasoning:
               Challenges, Applications, Directions, Exemplary Achievements, Gothenburg,
               Sweden, 6th August 2017},
  series    = {EPiC Series in Computing},
  volume    = {51},
  pages     = {1--5},
  publisher = {EasyChair},
  year      = {2017},
  url       = {https://doi.org/10.29007/143m},
  doi       = {10.29007/143m},
  timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/RegerT17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0