Login / Signup

Rewriting and Reasoning with Set-Relations II: The Non-ground Case Completeness.

Valentinas KriauciukasMichal Walicki
Published in: COMPASS/ADT (1995)
Keyphrases
  • small number
  • expert systems
  • database
  • input data
  • logic programming