A completeness result for SLDNF resoultion.

Stefano Baratella Gilberto Filé

Published in: Bull. EATCS (1988)

Keyphrases

data sets
information retrieval
color images
neural network
computer vision
high level
support vector
object recognition
preprocessing