A Computing Procedure for Quantification Theory.

Martin Davis Hilary Putnam

Published in: J. ACM (1960)

Keyphrases

theoretical basis
theoretical framework
theoretical foundation
real time
data sets
neural network
machine learning
knowledge base
case study
image sequences
bayesian networks
data structure
cooperative
medical images