Undecidable Lt Theories of Topological Abelian Groups.

Gregory L. Cherlin Peter H. Schmitt

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

Keyphrases

data sets
sufficient conditions
databases
theoretical framework
real time
neural network
data mining
genetic algorithm
information systems
knowledge base
learning environment
np complete
topology preserving
similar objects