Programming in Constructive Set Theory: Some examples.

Bengt Nordström

Published in: FPCA (1981)

Keyphrases

set theory
fuzzy set theory
algebraic geometry
first order logic
partial order
rough set theory
mathematical morphology
data mining
programming language
genetic algorithm
artificial intelligence
computer vision
data analysis
fuzzy sets
propositional logic
programming skills