BibTeX record conf/cikm/GauthierKU16

download as .bib file

@inproceedings{DBLP:conf/cikm/GauthierKU16,
  author    = {Thibault Gauthier and
               Cezary Kaliszyk and
               Josef Urban},
  editor    = {Andrea Kohlhase and
               Paul Libbrecht and
               Bruce R. Miller and
               Adam Naumowicz and
               Walther Neuper and
               Pedro Quaresma and
               Frank Wm. Tompa and
               Martin Suda},
  title     = {Initial Experiments with Statistical Conjecturing over Large Formal
               Corpora},
  booktitle = {Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral
               Program, and Work in Progress at the Conference on Intelligent Computer
               Mathematics 2016 co-located with the 9th Conference on Intelligent
               Computer Mathematics {(CICM} 2016), Bialystok, Poland, July 25-29,
               2016},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1785},
  pages     = {219--228},
  publisher = {CEUR-WS.org},
  year      = {2016},
  url       = {http://ceur-ws.org/Vol-1785/W23.pdf},
  timestamp = {Wed, 12 Feb 2020 16:45:19 +0100},
  biburl    = {https://dblp.org/rec/conf/cikm/GauthierKU16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics