BibTeX record conf/cikm/GauthierKU16

download as .bib file

@inproceedings{DBLP:conf/cikm/GauthierKU16,
  author    = {Thibault Gauthier and
               Cezary Kaliszyk and
               Josef Urban},
  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.},
  pages     = {219--228},
  year      = {2016},
  crossref  = {DBLP:conf/cikm/2016fm4m},
  url       = {http://ceur-ws.org/Vol-1785/W23.pdf},
  timestamp = {Fri, 27 Jan 2017 10:38:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cikm/GauthierKU16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cikm/2016fm4m,
  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     = {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},
  publisher = {CEUR-WS.org},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-1785},
  urn       = {urn:nbn:de:0074-1785-C},
  timestamp = {Fri, 27 Jan 2017 10:35:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cikm/2016fm4m},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier