Login / Signup
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