Proofs, Programs, Processes.

Ulrich Berger Monika Seisenberger

Published in: Theory Comput. Syst. (2012)

Keyphrases

computer programs
intermediate level
artificial intelligence
process model
theorem prover
formal proofs
database
databases
decision making
similarity measure
theorem proving
provably correct