Login / Signup
Perspectives on Automated Deduction.
Wolfgang Bibel
Published in:
Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)
Keyphrases
</>
automated deduction
theorem proving
theorem prover
inference rules
logic programming
artificial intelligence
feature extraction
reinforcement learning
data mining
machine learning
data model
general purpose
semi supervised learning
deductive databases