Advanced Topics in Automated Deduction.

Published in: Advanced Topics in Artificial Intelligence (1987)

Keyphrases

automated deduction
theorem proving
theorem prover
inference rules
logic programming
deductive databases
artificial intelligence
database systems
relational databases
general purpose