Narrating Formal Proof (Work in Progress).

Carst Tankink Herman Geuvers James McKinna

Published in: Electron. Notes Theor. Comput. Sci. (2012)

Keyphrases

formal proof
theorem prover
database
neural network
genetic algorithm
database systems
information technology
evolutionary algorithm
first order logic