Categoricity of computable infinitary theories.

Wesley Calvert Sergei S. Goncharov Julia F. Knight Jessica Millar

Published in: Arch. Math. Log. (2009)

Keyphrases

artificial intelligence
theoretical framework
finite sets
data sets
case study
data structure
user interface
computational models
causal reasoning
design theory