Login / Signup
An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus.
Luis M. Laita
Luis de Ledesma
Eugenio Roanes-Lozano
Eugenio Roanes-Macías
Published in:
AISMC (1994)
Keyphrases
</>
boolean algebra
constraint query languages
distributive lattices
cardinality constraints
set theory
constraint databases
query language
knowledge representation
computational intelligence
gray scale
mathematical morphology
theorem prover