-ADIC Local monotonicity Theorem.

Tristan Kuijpers Eva Leenknegt

Published in: J. Symb. Log. (2014)

Keyphrases

monotonicity constraints
data sets
databases
database
artificial intelligence
social networks
training data
learning environment
pattern recognition
von neumann
monotonicity property
interactive theorem proving