Transforming and Analyzing Proofs in the CERES-System.

Stefan Hetzl Alexander Leitsch Daniel Weller Bruno Woltzenlogel Paleo

Published in: LPAR Workshops (2008)

Keyphrases

multiscale
theorem proving
database
real world
decision trees
high level
training data
bayesian networks
pattern recognition
special case
equational theories