BibTeX record conf/fedcsis/Pak18

download as .bib file

@inproceedings{DBLP:conf/fedcsis/Pak18,
  author       = {Karol Pak},
  editor       = {Maria Ganzha and
                  Leszek A. Maciaszek and
                  Marcin Paprzycki},
  title        = {Combining the Syntactic and Semantic Representations of Mizar Proofs},
  booktitle    = {Proceedings of the 2018 Federated Conference on Computer Science and
                  Information Systems, FedCSIS 2018, Pozna{\'{n}}, Poland, September
                  9-12, 2018},
  series       = {Annals of Computer Science and Information Systems},
  volume       = {15},
  pages        = {145--153},
  year         = {2018},
  url          = {https://doi.org/10.15439/2018F248},
  doi          = {10.15439/2018F248},
  timestamp    = {Tue, 23 Apr 2024 10:05:32 +0200},
  biburl       = {https://dblp.org/rec/conf/fedcsis/Pak18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}