Combining Proofs to form Different Proofs.

Geoff Sutcliffe Cynthia Chang Deborah L. McGuinness Timothy Lebo Li Ding Paulo Pinheiro da Silva

Published in: PxTP (2011)

Keyphrases

theorem prover
theorem proving
equational theories
real world
formal proofs
genetic algorithm
natural deduction
real time
databases
neural network
image processing
cooperative
first order logic
formal proof