Qubit Logic, Algebra and Geometry.
Timothy F. HavelPublished in: Automated Deduction in Geometry (2000)
Keyphrases
- boolean algebra
- set theory
- relation algebra
- logic programming
- algebraic structure
- three dimensional
- data model
- relational algebra
- query language
- classical logic
- real time
- epistemic logic
- multi valued
- geometric constraints
- algebraic operators
- nonmonotonic logics
- relative position
- modal logic
- relational databases
- computer vision
- databases