Short proofs of classical theorems.

J. Adrian Bondy

Published in: J. Graph Theory (2003)

Keyphrases

theorem proving
decision trees
three dimensional
sequent calculus
database
data sets
artificial intelligence
digital libraries
expert systems
special case
theorem prover
cut elimination
formal proof
automated theorem provers