Combining Proofs and Programs.

Stephanie Weirich

Published in: RTA (2011)

Keyphrases

computer programs
theorem prover
database
neural network
case study
theorem proving
formal proof
data sets
artificial intelligence
evolutionary algorithm
knowledge representation
programming environment
automatic programming