Hypothesis finding with proof theoretical appropriateness criteria.

Bertram Fronhöfer Akihiro Yamamoto

Published in: Theor. Comput. Sci. (2006)

Keyphrases

theoretical analysis
multi criteria
theoretical basis
selection criteria
data sets
decision making
case study
objective function
computational complexity
user interface
control system
special case
evaluation criteria
geometry theorem proving