Uniform Short Proofs for Classical Theorems.

Published in: Notre Dame J. Formal Log. (2001)

Keyphrases

theorem proving
sequent calculus
cut elimination
three dimensional
real time
neural network
data structure
digital libraries
expert systems
evolutionary algorithm
medical images
decision procedures