Practical Aspects of Automated Deduction for Program Verification.

Wolfgang Ahrendt Bernhard Beckert Martin Giese Philipp Rümmer

Published in: Künstliche Intell. (2010)

Keyphrases

automated deduction
theorem proving
real world
theorem prover
inference rules
database
databases
data mining
image processing
expert systems
first order logic
practical problems