Login / Signup
The Representation of Boolean Algebras in the Spotlight of a Proof Checker.
Rodica Ceterchi
Eugenio G. Omodeo
Alexandru I. Tomescu
Published in:
CILC (2014)
Keyphrases
</>
relation algebra
real valued
databases
search algorithm
multi valued
database
social networks
website
image representation
theorem prover
theorem proving