Login / Signup
On the Calculus of Relations.
Alfred Tarski
Published in:
J. Symb. Log. (1941)
Keyphrases
</>
relational calculus
relation algebra
algebraic structure
semantic relations
cardinal directions
interval algebra
qualitative spatial reasoning
database
e learning
spatial reasoning
real world
learning algorithm
multiscale
expressive power
automated theorem proving
provably correct