The Quine-Bernays Combinatory Calculus.

N. Raja R. K. Shyamasundar

Published in: Int. J. Found. Comput. Sci. (1995)

Keyphrases

satisfiability problem
learning algorithm
computer algebra
neural network
data mining
machine learning
data structure
artificial neural networks
data model
interval algebra
bounded model checking
relation algebra