Searching for "Proof Development with OMEGA." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

Proof Development with &Omega;mega
by Jörg 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 — 2002 — Proceedings of the 18th Conference on Automated Deduction (CADE–18), volume 2392 of LNAI
…Proof Development with Ωmega Jörg Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad…
Add To MetaCart

LOmegaUI: A Distributed Graphical User Interface for the Interactive Proof System OMEGA
by Jörg Siekmann, Stephan Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Volker Sorge — 1998 — In Proceedings of UITP-98
… client-server extension of the\Omega mega proof development system, focusing on the L\Omega UI (Lovely\Omega…
Cited by 3 (3 self) – Add To MetaCart

Cumulative Habilitation Script Faculty 6- Natural Sciences and Technology I
by Hd Dr, Christoph Benzmüller — 2006
…. Benzmüller, A. Fiedler, A. Meier, I. Norma and M. Pollet, Proof Development in OMEGA – The Irrationality…
Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB