Expressiveness of $-Calculus: What Matters?

Eugene Eberbach

Published in: Intelligent Information Systems (2000)

Keyphrases

expressive power
computational properties
automated deduction
machine learning
search engine
three dimensional
real numbers
automated theorem proving
natural deduction
provably correct
computer algebra