Login / Signup

Understanding LEO-II's proofs.

Nik SultanaChristoph Benzmüller
Published in: IWIL@LPAR (2012)
Keyphrases
  • video sequences
  • machine learning
  • computer vision
  • e learning
  • multimedia
  • three dimensional
  • theorem prover
  • deeper understanding