BibTeX record conf/cade/SiekmannBBCFFHKMMMNPSUWZ02

download as .bib file

@inproceedings{DBLP:conf/cade/SiekmannBBCFFHKMMMNPSUWZ02,
  author    = {J{\"{o}}rg H. Siekmann and
               Christoph Benzm{\"{u}}ller and
               Vladimir Brezhnev and
               Lassaad Cheikhrouhou and
               Armin Fiedler and
               Andreas Franke and
               Helmut Horacek and
               Michael Kohlhase and
               Andreas Meier and
               Erica Melis and
               Markus Moschner and
               Immanuel Normann and
               Martin Pollet and
               Volker Sorge and
               Carsten Ullrich and
               Claus{-}Peter Wirth and
               J{\"{u}}rgen Zimmer},
  title     = {Proof Development with {OMEGA}},
  booktitle = {Automated Deduction - CADE-18, 18th International Conference on Automated
               Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  pages     = {144--149},
  year      = {2002},
  crossref  = {DBLP:conf/cade/2002},
  url       = {https://doi.org/10.1007/3-540-45620-1\_12},
  doi       = {10.1007/3-540-45620-1\_12},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/SiekmannBBCFFHKMMMNPSUWZ02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2002,
  editor    = {Andrei Voronkov},
  title     = {Automated Deduction - CADE-18, 18th International Conference on Automated
               Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2392},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45620-1},
  doi       = {10.1007/3-540-45620-1},
  isbn      = {3-540-43931-5},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics