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