Login / Signup
Tableaux Versus Resolution a Comparison.
W. M. J. Ophelders
Harrie C. M. de Swart
Published in:
Fundam. Informaticae (1993)
Keyphrases
</>
information retrieval
database
modal logic
databases
machine learning
case study
three dimensional
image sequences
higher resolution
decision procedures