Sign in

A Verified Implementation of Narrowing

Heinz Faßbender
Published in: PLILP (1995)
Keyphrases
  • real time
  • databases
  • digital libraries
  • information technology
  • trade off
  • implementation issues
  • database
  • data sets
  • machine learning
  • information retrieval
  • computer science
  • distributed systems
  • efficient implementation