The Epsilon Calculus (Tutorial).

Georg Moser Richard Zach

Published in: CSL (2003)

Keyphrases

automated deduction
databases
complexity analysis
algebraic structure
computer algebra
real time
neural network
search algorithm
natural deduction
computer based training
database query languages
application of machine learning methods