Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge
Omega: Towards a Mathematical Assistant
CADE, 1997.
@inproceedings{CADE-1997-BenzmullerCFFHKKKMMSSS,
author = "Christoph Benzmü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örg H. Siekmann and Volker Sorge",
booktitle = "{Proceedings of the 14th International Conference on Automated Deduction}",
doi = "10.1007/3-540-63104-6_23",
isbn = "3-540-63104-6",
pages = "252--255",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Omega: Towards a Mathematical Assistant}",
volume = 1249,
year = 1997,
}
Tags:
