An Introduction to Automated Deduction.

Mark E. Stickel

Published in: Advanced Course: Fundamentals of Artificial Intelligence (1985)

Keyphrases

automated deduction
theorem proving
theorem prover
inference rules
deductive databases
logic programming
object oriented
relational databases
database
logic programs
information technology
first order logic
expert systems
pattern recognition
decision making
artificial intelligence
databases