Weak Systems of Set Theory Related to HOL.

Published in: TPHOLs (1994)

Keyphrases

set theory
formal methods
image processing
rough sets
multi dimensional
theorem prover
model checker
probability distribution
computational intelligence
first order logic