Statistical approach to proof theory.

Published in: Kybernetika (1979)

Keyphrases

proof theory
default reasoning
automated reasoning
proof theoretic
machine learning
decision making
expert systems
parallel processing