BibTeX record conf/cade/BenzmullerCFFHKKKMMSSS97

download as .bib file

@inproceedings{DBLP:conf/cade/BenzmullerCFFHKKKMMSSS97,
  author       = {Christoph Benzm{\"{u}}ller and
                  Lassaad Cheikhrouhou and
                  Detlef Fehrer and
                  Armin Fiedler and
                  Xiaorong Huang and
                  Manfred Kerber and
                  Michael Kohlhase and
                  Karsten Konrad and
                  Andreas Meier and
                  Erica Melis and
                  Wolf Schaarschmidt and
                  J{\"{o}}rg H. Siekmann and
                  Volker Sorge},
  editor       = {William McCune},
  title        = {Omega: Towards a Mathematical Assistant},
  booktitle    = {Automated Deduction - CADE-14, 14th International Conference on Automated
                  Deduction, Townsville, North Queensland, Australia, July 13-17, 1997,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1249},
  pages        = {252--255},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63104-6\_23},
  doi          = {10.1007/3-540-63104-6\_23},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BenzmullerCFFHKKKMMSSS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics