Recursive models for constructive set theories.

Published in: Ann. Math. Log. (1982)

Keyphrases

small number
theoretical framework
data sets
databases
learning algorithm
artificial intelligence
search engine
similarity measure
optimal solution
prior knowledge
d objects
graphical models
input data
mathematical models
accurate models