Left-handed completeness.

Dexter Kozen Alexandra Silva

Published in: Theor. Comput. Sci. (2020)

Keyphrases

data quality
database
data mining
artificial intelligence
computer vision
high level
bayesian networks
multi agent
pattern recognition
computational complexity
multiresolution
active learning
formal proofs