BibTeX record conf/cikm/GauthierKU16

download as .bib file

  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
  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,
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1785},
  pages     = {219--228},
  publisher = {},
  year      = {2016},
  url       = {},
  timestamp = {Thu, 14 Oct 2021 10:46:16 +0200},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics