A Proof-Theoretic Approach to Tactics.

Kamal Aboul-Hosn

Published in: MKM (2006)

Keyphrases

theorem prover
linear logic
database
data sets
cooperative
artificial neural networks
probabilistic model
automated theorem proving