Perspectives on Automated Deduction (Abstract).

Published in: CADE (1990)

Keyphrases

automated deduction
theorem proving
theorem prover
inference rules
logic programming
deductive databases
high level
search algorithm
multiple perspectives
higher level
case study
data sets
real time
evolutionary algorithm
low level
data structure
decision trees
computer vision
real world
neural network
databases