Sign in
Two Axiomatizations of Nelson Algebras.
Adam Grabowski
Published in:
Formaliz. Math. (2015)
Keyphrases
</>
decision procedures
spatial reasoning
topological spaces
distributive lattices
data sets
database systems
temporal reasoning
interval algebra
databases
search engine
image processing
artificial neural networks
relation algebra