Login / Signup

Post Relation Algebras and Their Proof System.

Ewa Orlowska
Published in: ISMVL (1991)
Keyphrases
  • relation algebra
  • spatial reasoning
  • databases
  • real world
  • data mining
  • artificial intelligence
  • case study
  • bayesian networks
  • expert systems
  • constraint satisfaction
  • topological spaces