Login / Signup

Proof Theory in the USSR 1925-1969.

Grigori Mints
Published in: J. Symb. Log. (1991)
Keyphrases
  • proof theory
  • default reasoning
  • automated reasoning
  • proof theoretic
  • reasoning problems
  • nonmonotonic reasoning
  • belief revision
  • machine learning
  • graphical models
  • theorem proving