Sign in
Formalization of the Fundamental Group in Untyped Set Theory Using Auto2.
Bohua Zhan
Published in:
ITP (2017)
Keyphrases
</>
set theory
partial order
first order logic
fuzzy set theory
algebraic geometry
mathematical morphology
pattern recognition
rough sets
fuzzy sets
genetic algorithm
decision making
cooperative
knowledge representation
computational intelligence
description logics