Current Trends in Automated Deduction.

Published in: Künstliche Intell. (2010)

Keyphrases

current trends
automated deduction
artificial intelligence
theorem proving
future directions
theorem prover
inference rules
health sciences
deductive databases
database
general purpose
lessons learned
database systems
probability distribution