Omega: Towards a Mathematical Assistant
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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.

CADE 1997
Full names Links ISxN
	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,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.