The Hereditarily Finite Sets.

Lawrence C. Paulson

Published in: Arch. Formal Proofs (2013)

Keyphrases

finite sets
piecewise linear
linearly separable
positive and negative examples
schema mappings
feature extraction
active learning
multi class
small number