Definable types in the theory of closed ordered differential fields.

Quentin Brouette

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

Keyphrases

real world
theoretical framework
data sets
data mining
computer vision
logic programs
learning algorithm
social networks
answer sets
queueing networks
semantics of logic programs