Solution to the Range Problem for Combinatory Logic.

Benedetto Intrigila Richard Statman

Published in: Fundam. Informaticae (2011)

Keyphrases

wide range
machine learning
case study
automated reasoning
neural network
information retrieval
artificial intelligence
decision making
decision trees
database systems
mathematical model
closed form
exact solution
linear equations
classical logic