Login / Signup

Education-oriented Proof Assistant Based on Calculational Logic: Proof Theory Algorithms and Assessment Experience.

Federico FlavianiWalter Carballosa
Published in: CLEI Electron. J. (2023)
Keyphrases
  • proof theory
  • default reasoning
  • proof theoretic
  • reasoning problems
  • automated reasoning
  • search algorithm
  • computational complexity
  • tree decomposition
  • learning algorithm
  • theorem proving
  • default logic