Variants of the basic calculus of constructions.

Martin W. Bunder Jonathan P. Seldin

Published in: J. Appl. Log. (2004)

Keyphrases

databases
neural network
machine learning
learning algorithm
information systems
search algorithm
lower bound
evolutionary algorithm
relational calculus
computer algebra