A Converse of the Barwise Completeness Theorem.

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

Keyphrases

information flow
information security
von neumann
social networks
supply chain
communication networks
database
evolutionary algorithm
real time
genetic algorithm
information systems
image processing
special case
unsupervised learning
data quality
digital topology