BibTeX record conf/mkm/AbrahamABBBBCDE16

download as .bib file

@inproceedings{DBLP:conf/mkm/AbrahamABBBBCDE16,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               John Abbott and
               Bernd Becker and
               Anna Maria Bigatti and
               Martin Brain and
               Bruno Buchberger and
               Alessandro Cimatti and
               James H. Davenport and
               Matthew England and
               Pascal Fontaine and
               Stephen Forrest and
               Alberto Griggio and
               Daniel Kroening and
               Werner M. Seiler and
               Thomas Sturm},
  title     = {SC\({}^{\mbox{2}}\): Satisfiability Checking Meets Symbolic Computation
               - (Project Paper)},
  booktitle = {Intelligent Computer Mathematics - 9th International Conference, {CICM}
               2016, Bialystok, Poland, July 25-29, 2016, Proceedings},
  pages     = {28--43},
  year      = {2016},
  crossref  = {DBLP:conf/mkm/2016},
  url       = {https://doi.org/10.1007/978-3-319-42547-4\_3},
  doi       = {10.1007/978-3-319-42547-4\_3},
  timestamp = {Fri, 02 Nov 2018 09:40:47 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/AbrahamABBBBCDE16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2016,
  editor    = {Michael Kohlhase and
               Moa Johansson and
               Bruce R. Miller and
               Leonardo de Moura and
               Frank Wm. Tompa},
  title     = {Intelligent Computer Mathematics - 9th International Conference, {CICM}
               2016, Bialystok, Poland, July 25-29, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9791},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-42547-4},
  doi       = {10.1007/978-3-319-42547-4},
  isbn      = {978-3-319-42546-7},
  timestamp = {Wed, 17 May 2017 10:54:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Schloss Dagstuhl LZI