A semi-completeness theorem.

Stephen L. Bloom

Published in: Notre Dame J. Formal Log. (1969)

Keyphrases

data quality
artificial intelligence
three dimensional
pattern recognition
von neumann
digital topology
data sets
computer vision
high quality
bayesian networks
wireless sensor networks
formal proofs