Login / Signup

Granularity-Adaptive Proof Presentation.

Marvin R. G. SchillerChristoph Benzmüller
Published in: AIED (2009)
Keyphrases
  • data sets
  • information retrieval
  • case study
  • high level
  • database systems
  • fine granularity
  • databases
  • multimedia
  • multi agent
  • search algorithm
  • theorem proving
  • adaptive learning
  • proof theory
  • geometry theorem proving