Completeness of indexed epsilon-calculus.

Grigori Mints Darko Sarenac

Published in: Arch. Math. Log. (2003)

Keyphrases

sample complexity
computer vision
computer algebra
timed automata
data mining
case study
automated deduction
formal proofs