Metric complements of overt closed sets.

Thierry Coquand Erik Palmgren Bas Spitters

Published in: Math. Log. Q. (2011)

Keyphrases

closed sets
binary data
inductive inference
multi relational
learning algorithm
emerging patterns
data sets
set theory
supervised learning