Finite Set Theory in ACL2.

J Strother Moore

Published in: TPHOLs (2001)

Keyphrases

set theory
fuzzy set theory
partial order
first order logic
mathematical morphology
rough sets
fuzzy sets
rough set theory
real time
natural language learning
probability theory
data mining
information retrieval
knowledge base
efficient implementation
algebraic geometry