Some Reflections on Proof Transformations.

Peter B. Andrews

Published in: Mechanizing Mathematical Reasoning (2005)

Keyphrases

theorem proving
theorem prover
database
neural network
quasi invariant
databases
data mining
feature selection
xml documents
inference rules
linear logic