Login / Signup
Proof systems in relation algebra.
Lew Gordeev
Published in:
RelMiCS (1998)
Keyphrases
</>
management system
computer systems
relation algebra
expert systems
data model
knowledge acquisition
higher level