Proof Development with OMEGA
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Jörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer
Proof Development with OMEGA
CADE, 2002.

CADE 2002
Full names Links ISxN
	author        = "Jörg H. Siekmann and Christoph Benzmüller and Vladimir Brezhnev and Lassaad Cheikhrouhou and Armin Fiedler and Andreas Franke and Helmut Horacek and Michael Kohlhase and Andreas Meier and Erica Melis and Markus Moschner and Immanuel Normann and Martin Pollet and Volker Sorge and Carsten Ullrich and Claus-Peter Wirth and Jürgen Zimmer",
	booktitle     = "{Proceedings of the 18th International Conference on Automated Deduction}",
	doi           = "10.1007/3-540-45620-1_12",
	isbn          = "3-540-43931-5",
	pages         = "144--149",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proof Development with OMEGA}",
	volume        = 2392,
	year          = 2002,


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.