BibTeX record conf/lpar/2010ys

download as .bib file

@proceedings{DBLP:conf/lpar/2010ys,
  editor    = {Andrei Voronkov and
               Geoff Sutcliffe and
               Matthias Baaz and
               Christian G. Ferm{\"{u}}ller},
  title     = {Short papers for 17th International Conference on Logic for Programming,
               Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta,
               Indonesia, October 10-15, 2010},
  series    = {EPiC Series in Computing},
  volume    = {13},
  publisher = {EasyChair},
  year      = {2013},
  url       = {https://easychair.org/publications/volume/LPAR-17-short},
  timestamp = {Wed, 10 Feb 2021 08:45:42 +0100},
  biburl    = {https://dblp.org/rec/conf/lpar/2010ys.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics