Resolution and Type Theory.

Published in: Sci. Comput. Program. (1991)

Keyphrases

theoretical framework
neural network
general theory
machine learning
bayesian networks
data structure
high resolution
theoretical basis
information systems
image processing
hidden markov models
theoretical foundation
decision theory