An Algebraic Semantics Approach to the Effective Resolution of Type Equations.

Hassan Aït-Kaci

Published in: Theor. Comput. Sci. (1986)

Keyphrases

information retrieval
logic programming
computationally efficient
database
neural network
metadata
image processing
decision trees
image quality
semantic information