Login / Signup

Comments on "The Relationship Between Multivalued Switching Algebra and Boolean Algebra Under Different Definitions of Complement".

George Epstein
Published in: IEEE Trans. Computers (1973)
Keyphrases
  • boolean algebra
  • distributive lattices
  • cardinality constraints
  • constraint query languages
  • theorem prover
  • set theory
  • upper approximation
  • knowledge representation
  • description logics