Proof Development with OMEGA

14 years 12 months ago

Jörg H. Siekmann, Christoph Benzmüller,

Automated Reasoning | CADE 2002 | Proof Development |

claim paper

Added	03 Dec 2009
Updated	03 Dec 2009
Type	Conference
Year	2002
Where	CADE
Authors	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

Comments (0)