Diophantine definability over non-finitely generated non-degenerate modules of algebraic extensions of Q.

Alexandra Shlapentokh

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

Keyphrases

fixed point
building blocks
real time
data sets
database
machine learning
generation process
randomly selected
inductive inference
finite number
propositional logic
automatically generated
sufficient conditions
graphical models
bayesian networks
computer vision
learning algorithm
databases