Alfred Tarski and Decidable Theories.

John Doner Wilfrid Hodges

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

Keyphrases

design theory
action theories
data sets
machine learning
neural network
real world
data mining
situation calculus