Computable Models of Theories with Few Models.

Bakhadyr Khoussainov André Nies Richard A. Shore

Published in: Notre Dame J. Formal Log. (1997)

Keyphrases

statistical models
real world
neural network
database
databases
artificial intelligence
database systems
data structure
expert systems
probabilistic model
complex systems
formal models