Finite sets and infinite sets in weak intuitionistic arithmetic.

Published in: Arch. Math. Log. (2020)

Keyphrases

finite sets
interval arithmetic
piecewise linear
linearly separable
positive and negative examples
learning algorithm
decision trees
domain knowledge
dynamic programming
semi supervised learning
schema mappings