Resolution and Type Theory.

Published in: ESOP (1990)

Keyphrases

formal theory
neural network
decision making
low resolution
database
information retrieval
social networks
metadata
database systems
image sequences
control system
computational model
theoretical basis