Login / Signup
Handling Polymorphism in Automated Deduction.
Jean-François Couchot
Stéphane Lescuyer
Published in:
CADE (2007)
Keyphrases
</>
automated deduction
theorem proving
logic programming
inference rules
theorem prover
artificial intelligence
deductive databases
data mining
decision trees
high level
bayesian networks
general purpose
dimensionality reduction
integrity constraints