BibTeX record conf/fedcsis/Balcer17

download as .bib file

@inproceedings{DBLP:conf/fedcsis/Balcer17,
  author       = {Marek Balcer},
  editor       = {Maria Ganzha and
                  Leszek A. Maciaszek and
                  Marcin Paprzycki},
  title        = {An example of the satisfiability problem in the continuous structure},
  booktitle    = {Position Papers of the 2017 Federated Conference on Computer Science
                  and Information Systems, FedCSIS 2017, Prague, Czech Republic, September
                  3-6, 2017},
  series       = {Annals of Computer Science and Information Systems},
  volume       = {12},
  pages        = {91--94},
  year         = {2017},
  url          = {https://doi.org/10.15439/2017F255},
  doi          = {10.15439/2017F255},
  timestamp    = {Tue, 23 Apr 2024 10:03:37 +0200},
  biburl       = {https://dblp.org/rec/conf/fedcsis/Balcer17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}