Login / Signup
Deaccumulation - Improving Provability.
Jürgen Giesl
Armin Kühnemann
Janis Voigtländer
Published in:
ASIAN (2003)
Keyphrases
</>
artificial intelligence
information retrieval
relational databases