Login / Signup
Combining Deduction by Certainty with the Power of Magic.
Helmut Schmidt
Nikolaus Steger
Ulrich Güntzer
Werner Kießling
Rüdiger Azone
Rudolf Bayer
Published in:
DOOD (1989)
Keyphrases
</>
power consumption
inference rules
information retrieval
artificial intelligence
information systems
social networks
image sequences
special case
theorem prover
theorem proving
combining multiple
power distribution
automated deduction