Login / Signup

Completeness of indexed epsilon-calculus.

Grigori MintsDarko Sarenac
Published in: Arch. Math. Log. (2003)
Keyphrases
  • sample complexity
  • computer vision
  • computer algebra
  • timed automata
  • data mining
  • case study
  • automated deduction
  • formal proofs