System Description: GAPT 2.0

Ebner, Gabriel; Hetzl, Stefan; Reis, Giselle; Riener, Martin; Wolfsteiner, Simon; Zivota, Sebastian

doi:10.1007/978-3-319-40229-1_20

by Gabriel Ebner, Stefan Hetzl, Giselle Reis, Martin Riener, Simon Wolfsteiner, Sebastian Zivota

Reference:

System Description: GAPT 2.0Gabriel Ebner, Stefan Hetzl, Giselle Reis, Martin Riener, Simon Wolfsteiner, Sebastian ZivotaAutomated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings (Nicola Olivetti, Ashish Tiwari, eds.), volume 9706 of Lecture Notes in Computer Science, pages 293–301, 2016, Springer.

Bibtex Entry:

@string{springer="Springer"}
@inproceedings{DBLP:conf/cade/EbnerHRRWZ16,
  author    = {Gabriel Ebner and
               Stefan Hetzl and
               Giselle Reis and
               Martin Riener and
               Simon Wolfsteiner and
               Sebastian Zivota},
  editor    = {Nicola Olivetti and
               Ashish Tiwari},
  title     = {System Description: {GAPT} 2.0},
  booktitle = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
               2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9706},
  pages     = {293--301},
  publisher = {Springer},
  year      = {2016},
  url       = {http://doai.io/10.1007/978-3-319-40229-1_20},
  doi       = {10.1007/978-3-319-40229-1_20},
  timestamp = {Sun, 21 May 2017 00:17:18 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cade/EbnerHRRWZ16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}