BenzmullerCFFHKKKMMSSS97'

BibTeX

@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 = {CADE},
  year      = {1997},
  pages     = {252-255},
  ee        = {http://dx.doi.org/10.1007/3-540-63104-6_23},
  crossref  = {DBLP:conf/cade/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@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},
  booktitle = {CADE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1249},
  year      = {1997},
  isbn      = {3-540-63104-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}