Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/cade/BenzmullerCFFHKKKMMSSS97
%A Benzmüller, Christoph
%A Cheikhrouhou, Lassaad
%A Fehrer, Detlef
%A Fiedler, Armin
%A Huang, Xiaorong
%A Kerber, Manfred
%A Kohlhase, Michael
%A Konrad, Karsten
%A Meier, Andreas
%A Melis, Erica
%A Schaarschmidt, Wolf
%A Siekmann, Jörg H.
%A Sorge, Volker
%B CADE
%D 1997
%E McCune, William
%I Springer
%K dblp
%P 252-255
%T Omega: Towards a Mathematical Assistant.
%U http://dblp.uni-trier.de/db/conf/cade/cade97.html#BenzmullerCFFHKKKMMSSS97
%V 1249
%@ 3-540-63104-6
@inproceedings{conf/cade/BenzmullerCFFHKKKMMSSS97,
added-at = {2017-05-21T00:00:00.000+0200},
author = {Benzmüller, Christoph and Cheikhrouhou, Lassaad and Fehrer, Detlef and Fiedler, Armin and Huang, Xiaorong and Kerber, Manfred and Kohlhase, Michael and Konrad, Karsten and Meier, Andreas and Melis, Erica and Schaarschmidt, Wolf and Siekmann, Jörg H. and Sorge, Volker},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a0ec4755f69d7ebd451e1c230d1f0637/dblp},
booktitle = {CADE},
crossref = {conf/cade/1997},
editor = {McCune, William},
ee = {https://doi.org/10.1007/3-540-63104-6_23},
interhash = {f6036759e904ce65d9b633dbe8bf614d},
intrahash = {a0ec4755f69d7ebd451e1c230d1f0637},
isbn = {3-540-63104-6},
keywords = {dblp},
pages = {252-255},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-09-27T15:38:51.000+0200},
title = {Omega: Towards a Mathematical Assistant.},
url = {http://dblp.uni-trier.de/db/conf/cade/cade97.html#BenzmullerCFFHKKKMMSSS97},
volume = 1249,
year = 1997
}