Computation and Deduction.

Patrick J. Hayes

Published in: MFCS (1973)

Keyphrases

inference rules
neural network
data mining
data sets
information retrieval
knowledge base
face recognition
multi agent
cooperative
preprocessing
lower bound
medical images
theorem proving
computer algebra