BibTeX record conf/cikm/Janasz16

• > Home > conf/cikm/Janasz16

@inproceedings{DBLP:conf/cikm/Janasz16,
  author       = {Marek Janasz},
  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        = {Automated theorem proving for elementary geometry},
  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        = {97},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1785/JanaszAbstract.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:32 +0100},
  biburl       = {https://dblp.org/rec/conf/cikm/Janasz16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}