Editorial: Strategies in Automated Deduction.

Bernhard Gramlich Hélène Kirchner Frank Pfenning

Published in: Ann. Math. Artif. Intell. (2000)

Keyphrases

automated deduction
theorem proving
theorem prover
inference rules
logic programming
deductive databases
special issue
optimal strategy
real time
neural network
real world
training data
probability distribution
knowledge representation
first order logic