Model theory: Geometrical and set-theoretic aspects and prospects.

Angus Macintyre

Published in: Bull. Symb. Log. (2003)

Keyphrases

set theoretic
decision making
control system
finite state machines
neural network
probabilistic model
image recovery