Finite Sets and Natural Numbers in Intuitionistic TT.

Daniel Dzierzgowski

Published in: Notre Dame J. Formal Log. (1996)

Keyphrases

finite sets
piecewise linear
linearly separable
data sets
training data
schema mappings
positive and negative examples