Proofs about Programs in Classical Set Theory.
Paul BroomePublished in: ICLP Workshop on Logic Programming with Sets (1993)
Keyphrases
- multiscale
- set theory
- first order logic
- computer programs
- probability theory
- fuzzy set theory
- partial order
- rough sets
- fuzzy sets
- theorem proving
- rough set theory
- mathematical morphology
- fuzzy logic
- image analysis
- theorem prover
- algebraic geometry
- databases
- data mining
- decision makers
- computational intelligence
- neural network