Definable Types in O-Minimal Theories.

David Marker Charles Steinhorn

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

Keyphrases

case study
data sets
decision making
multiscale
multi agent systems
mobile robot
query language
computational models
situation calculus
causal reasoning