Login / Signup
Definable choice for a class of weakly o-minimal theories.
Michael C. Laskowski
Christopher S. Shaw
Published in:
Arch. Math. Log. (2016)
Keyphrases
</>
real time
genetic algorithm
theoretical framework
information retrieval
decision trees
training data
multiscale
logic programs
situation calculus
multi class classification
transitive closure
minimal models