The Mondex Challenge: Machine Checked Proofs for an Electronic Purse.

Gerhard Schellhorn Holger Grandy Dominik Haneberg Wolfgang Reif

Published in: FM (2006)

Keyphrases

databases
theorem prover
decision procedures
data sets
neural network
information retrieval
decision making
decision trees
objective function
special case
theorem proving