Mechanizing Set Theory.

Lawrence C. Paulson Krzysztof Grabczewski

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

Keyphrases

set theory
partial order
first order logic
fuzzy set theory
mathematical morphology
rough sets
algebraic geometry
fuzzy sets
rough set theory
neural network
probability theory
binary images
pattern recognition
image processing
decision making
machine learning
real time