BibTeX record conf/gi/Steigmiller16

download as .bib file

@incollection{DBLP:conf/gi/Steigmiller16,
  author       = {Andreas Steigmiller},
  editor       = {Abraham Bernstein and
                  Wolfgang Effelsberg and
                  Felix C. Freiling and
                  Steffen H{\"{o}}lldobler and
                  Hans{-}Peter Lenhof and
                  Paul Molitor and
                  Gustaf Neumann and
                  R{\"{u}}diger Reischuk and
                  Nicole Schweikardt and
                  Myra Spiliopoulou and
                  Sabine S{\"{u}}sstrunk},
  title        = {Optimierung von tableaubasierten Schlussfolgerungssystemen f{\"{u}}r
                  ausdrucksstarke Beschreibungslogiken},
  booktitle    = {Ausgezeichnete Informatikdissertationen 2016},
  series       = {{LNI}},
  volume       = {{D-17}},
  pages        = {259--268},
  publisher    = {{GI}},
  year         = {2016},
  url          = {https://dl.gi.de/handle/20.500.12116/19945},
  timestamp    = {Tue, 04 Jul 2023 17:43:52 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Steigmiller16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics