Login / Signup
Independence of axiom system of basic algebras.
Ivan Chajda
Miroslav Kolarík
Published in:
Soft Comput. (2009)
Keyphrases
</>
inference rules
relation algebra
clifford algebra
distributive lattices
data sets
decision making
modal logic
spatial reasoning
independence assumption
neural network
high level
face recognition
interval algebra
topological spaces
belief merging