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},
  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},
  pages     = {252--255},
  year      = {1997},
  crossref  = {DBLP:conf/cade/1997},
  url       = {http://dx.doi.org/10.1007/3-540-63104-6_23},
  doi       = {10.1007/3-540-63104-6_23},
  timestamp = {Fri, 30 Sep 2016 22:52:29 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cade/BenzmullerCFFHKKKMMSSS97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cade/1997,
  editor    = {William McCune},
  title     = {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},
  publisher = {Springer},
  year      = {1997},
  isbn      = {3-540-63104-6},
  timestamp = {Wed, 03 Jul 2002 09:55:41 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cade/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}