Login / Signup

Description Logic Knowledge Base Exchange.

Elena Botoeva
Published in: RR (2012)
Keyphrases
  • databases
  • model checking