C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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