Isabelle Formalization of Set Theoretic Structures and Set Comprehensions.

Cezary Kaliszyk Karol Pak

Published in: MACIS (2017)

Keyphrases

set theoretic
image recovery
convex sets
data sets
object recognition
knowledge representation
hierarchical structure