STMM: A Set Theory for Mechanized Mathematics.

William M. Farmer

Published in: J. Autom. Reason. (2001)

Keyphrases

set theory
partial order
first order logic
fuzzy set theory
rough sets
mathematical morphology
computer science
algebraic geometry
fuzzy sets
rough set theory
real time
databases
data structure
cooperative
pattern recognition
denoising