Computable axiomatizability of elementary classes.

Published in: Math. Log. Q. (2016)

Keyphrases

database
artificial intelligence
website
decision making
multimedia
high level
training data
data structure
multiresolution
set theory