Presenting Proofs with Adapted Granularity.

Marvin R. G. Schiller Christoph Benzmüller

Published in: KI (2009)

Keyphrases

theorem proving
theorem prover
real world
data mining
artificial intelligence
computer vision
metadata
relational databases
evolutionary algorithm
computer programs
multiple granularities