BibTeX record conf/cade/SiekmannBBCFFHKMMMNPSUWZ02

• > Home > conf/cade/SiekmannBBCFFHKMMMNPSUWZ02

@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},
  editor       = {Andrei Voronkov},
  title        = {Proof Development with {OMEGA}},
  booktitle    = {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},
  pages        = {144--149},
  publisher    = {Springer},
  year         = {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/conf/cade/SiekmannBBCFFHKMMMNPSUWZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}