The Kuratowski Closure-Complement Theorem.

Peter Gammie Gianpaolo Gioiosa

Published in: Arch. Formal Proofs (2017)

Keyphrases

database
intuitionistic logic
data sets
data mining
search engine
decision making
face recognition
multiresolution
color images
sufficient conditions