25 years of formal proof cultures: some problems, some philosophy, bright future.

Published in: LFMTP (2013)

Keyphrases

formal proof
artificial intelligence
case study
databases
combinatorial optimization
real world
information systems
multiscale
objective function
application domains
cognitive science
mathematical programming
solving problems
related problems