Login / Signup
Nelson algebras through Heyting ones: I.
Andrzej Sendlewski
Published in:
Stud Logica (1990)
Keyphrases
</>
set theory
distributive lattices
boolean algebra
real time
topological spaces
clifford algebra
spatial reasoning
multi agent
feature selection
bayesian networks
pattern recognition
expert systems
np hard
temporal reasoning
interval algebra