A lambda-Unifiability Test for Set Theory.

Sidney C. Bailin

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

Keyphrases

set theory
partial order
fuzzy set theory
mathematical morphology
first order logic
rough sets
rough set theory
probability theory
computer vision
real time
databases
data mining
genetic algorithm
bayesian networks
cooperative
edge detection