BibTeX record conf/fedcsis/GrabowskiKS16

download as .bib file

@inproceedings{DBLP:conf/fedcsis/GrabowskiKS16,
  author       = {Adam Grabowski and
                  Artur Kornilowicz and
                  Christoph Schwarzweller},
  editor       = {Maria Ganzha and
                  Leszek A. Maciaszek and
                  Marcin Paprzycki},
  title        = {On algebraic hierarchies in mathematical repository of Mizar},
  booktitle    = {Proceedings of the 2016 Federated Conference on Computer Science and
                  Information Systems, FedCSIS 2016, Gda{\'{n}}sk, Poland, September
                  11-14, 2016},
  series       = {Annals of Computer Science and Information Systems},
  volume       = {8},
  pages        = {363--371},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.15439/2016F520},
  doi          = {10.15439/2016F520},
  timestamp    = {Mon, 07 Aug 2023 11:27:10 +0200},
  biburl       = {https://dblp.org/rec/conf/fedcsis/GrabowskiKS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics