Special relations in automated deduction.

Zohar Manna Richard J. Waldinger

Published in: J. ACM (1986)

Keyphrases

automated deduction
theorem proving
theorem prover
inference rules
logic programming
deductive databases
semantic relations
neural network
data mining
artificial intelligence
multiscale
background knowledge
first order logic
genetic algorithm
programming language
binary relations