Login / Signup
Automated Deduction: a Technological Point of View.
Peter Baumgartner
Ingo Dahn
Jürgen Dix
Ulrich Furbach
Michael Kühn
Frieder Stolzenburg
Bernd Thomas
Published in:
Künstliche Intell. (1998)
Keyphrases
</>
automated deduction
theorem proving
theorem prover
logic programming
inference rules
deductive databases
data sets
databases
decision making
case study
artificial neural networks
evolutionary algorithm