Machine Deduction.

Christophe Faffalli

Published in: TYPES (1993)

Keyphrases

inference rules
special case
data mining
machine learning
information systems
optimal solution
probability distribution
theorem prover
theorem proving