Login / Signup

Using Light to Implement Parallel Boolean Algebra.

Tom Head
Published in: Developments in Language Theory (2010)
Keyphrases
  • boolean algebra
  • cardinality constraints
  • constraint query languages
  • theorem prover
  • pattern recognition
  • data analysis
  • expert systems
  • set theory
  • upper approximation