Semi-Minimal Theories and Categoricity.

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

Keyphrases

case study
information retrieval
multiresolution
theoretical framework
data sets
clustering algorithm
three dimensional
multi agent systems
information technology
first order logic
mathematical models
causal reasoning
design theory
legal knowledge