C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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