Deduction and Computation.

Gérard P. Huet

Published in: Advanced Course: Fundamentals of Artificial Intelligence (1985)

Keyphrases

inference rules
theorem proving
data sets
decision making
metadata
feature extraction
multiscale
cooperative
expert systems
information technology