Omitting Types for Stable CCC Theories.

Ludomir Newelski

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

Keyphrases

machine learning
real time
data sets
information retrieval
preprocessing
information technology
control system