Login / Signup
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