Proof Development with OMEGA.

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

Published in: CADE (2002)

Keyphrases

case study
software engineering
data sets
st century
database
real world
information processing
machine learning
computer vision
web services
similarity measure
knowledge based systems
theorem prover