Proof Development with Omega-MEGA: sqrt(2) Is Irrational.

Jörg H. Siekmann Christoph Benzmüller Armin Fiedler Andreas Meier Martin Pollet

Published in: LPAR (2002)

Keyphrases

knowledge based systems
development process
rapid development
case study
lower bound
relational databases
information processing
design process
real world
data mining
machine learning
information retrieval
information systems
practical application
linear logic