Sets of Theorems with Short Proofs.

Daniel Richardson

Published in: J. Symb. Log. (1974)

Keyphrases

ordered sets
sequent calculus
cut elimination
genetic algorithm
expert systems
information retrieval
computer vision
three dimensional
bayesian networks
learning environment
information technology
rough sets
natural deduction
formal proofs